compiler/tests/verifier/type_compat_optional.good


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


() test() {
    
    int i = 1;
    
    int var^? a = @i;
    int var^? var^? b = @a;
    var (int^? x) c = (@i,);
    var (int^ x) d;
    
    a = @i;
    b = @a;
    c = d;
    
    // TODO this is not implemented in the C backend yet
    //var int? optint = makeopt i;
}