compiler/tests/verifier/expr_typeassert.good


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


int i123 = 123;
count c123 = 123;

int a = c123 typeassert int;
count b = i123 typeassert count;
byte c = i123 typeassert byte;
int8 d = c123 typeassert int8;


() test()
{
    int a = c123 typeassert int;
    count b = i123 typeassert count;
    byte c = i123 typeassert byte;
    int8 d = c123 typeassert int8;
}