compiler/tests/verifier/type_generic_deep.good


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


typedef list[T] = (
    T^ data,
    list[int]^? x,
);

() test() {
    list[bool] obj;
    
    bool b = obj.data^;
    int i = obj.x?^.data^;
    list[int] inside = obj.x?^;
    list[bool] other = obj;
}