blob: ae3bc8defbaec3af683925cd6cc1df080b95bffc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
bool get_bool () {
return true;
}
T minim_b<T> () {
return get_bool ();
}
uint32 get_uint32 () {
return 42U;
}
T minim_u<T> () {
return get_uint32 ();
}
string get_string () {
return "bar";
}
T minim_s<T> () {
return get_string ();
}
void main () {
{
assert (minim_b<bool> () == true);
}
{
assert (minim_u<uint32> () == 42U);
}
{
assert (minim_s<string> () == "bar");
}
}
|