compiler/tests/verifier/expr_determine_type.bad


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


(int x, int y) g(invalid); // ERROR

typedef bad = ; // ERROR

() f() {
    
    // try to crash the compiler
    var bad i;
    var bad var^ ptr;
    var bad? opt;
    var (bad z)? opt1;
    
    var (bad w)#[10] arr;
    
    ptr^ = i;
    ptr^ = 123;
    opt? = i;
    opt = none;
    opt?;
    opt1?.z;
    
    arr#[0].w = i;
    arr#[0].w = 123;
    
    g().x; // ERROR
    g().x = 123; // ERROR
}