compiler/tests/verifier/type_compatibility_struct.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


typedef A = (int x, int y);

() test() {
    var A a;
    var (int x, int y) b;
    var (int x, int y) c;
    var (int, int) d;
    
    a = b;
    a = c;
    a = d;
    
    b = a;
    b = c;
    b = d;
    
    c = a;
    c = b;
    c = d;
    
    d = a;
    d = b;
    d = c;
    
    short sh = 2;
    a = (1, sh);
}