compiler/tests/verifier/expr_determine_type.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
29
30
31
32
33
34


(int x, int y) g() {
    return (0, 0);
}

() f() {
    
    var int i;
    var int var^ ptr = @i;
    var int? opt;
    var (int z)? opt1;
    
    var (int w)#[10] arr;
    
    
    ptr^ = 1;
    opt = none;
    if opt? == 1 {}
    opt1?.z;
    
    arr#[0].w = 1;
    
    g().x;
    
    if 1 != 2 {}
    if 10 > 1 {}
    :true or :false;
    if not 1 == 1 {}
    1 == 2 or (:true and 1 == 1);
    
    var bool flag = :false;
    1 == 2 or (flag == :true);
}