blob: 270b7440f2e4a1e51244efcf3a2b1600f930613b (
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
36
37
38
39
40
41
42
|
T manam<T> (T foo) {
return foo;
}
bool get_bool () {
return true;
}
T minim_b<T> () {
return manam<T> (get_bool ());
}
uint32 get_uint32 () {
return 23U;
}
T minim_u<T> () {
return manam<T> (get_uint32 ());
}
string get_string () {
return "bar";
}
T minim_s<T> () {
return manam<T> (get_string ());
}
void main () {
{
assert (manam<bool> (get_bool ()) == true);
assert (minim_b<bool> () == true);
}
{
assert (manam<uint32> (get_uint32 ()) == 23U);
assert (minim_u<uint32> () == 23U);
}
{
assert (manam<string> (get_string ()) == "bar");
assert (minim_s<string> () == "bar");
}
}
|