compiler/tests/verifier/def_type_typeparam.bad


1
2
3
4
5
6
7
8
9
10


typedef here[T] = (T^ ptr);

/* ERRORS can only use type parameters on functions arguments */
T^ bad1;
any^? bad2 = (none as T^?);

() f() {
    typedef B[U] = (U^ x);
    typedef C[V] = (V^ y, U^ z); // ERROR cannot access U from here
}