compiler/tests/verifier/statement_typeassert.good


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


() test()
{
    int i = 255;

    typeassert i is byte;
    byte b = i;

    typeassert i is uint32 else { }
    uint32 ui32 = i;
    
    typeassert i is int32 else return;
    int32 i32 = i;

    int j = -32768;
    typeassert j is int16 do {
        int16 i16 = j;
    }
    
    uint32 k = 12;
    typeassert k is int do {
        int k1 = k;
    } else {
    }
    
    uint32 l = 12;
    typeassert k is int do return; else return;
}