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


typedef Arr = int#[3];
typedef AP[T] = (
    T^ x,
    T^#[5] arr,
);

var int#[3] a;
var Arr b;
var int#[3,2] c;
var AP[int] var^ d;

() test()
{
    int i = 123;
    
    a#[2] = 123;
    a#[2] = i;
    b#[2] = 123;
    b#[2] = i;
    c#[2]#[1] = 123;
    c#[2]#[1] = i;
    c#[2,1] = 456;
    
    d^.x = @i;
    d^.arr#[4] = @i;
}