compiler/tests/verifier/type_generic_deep.bad


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


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

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