path: root/compiler/tests/verifier/type_any.good

int i = 123;
int#[3] j = [123,456,789];

any^ a1 = @i;
any^ a2 = @j;

() test()
{
    int x = a1^;
    int y = (a2^ as int#[3])#[2];
}