compiler/tests/verifier/typedef_incomplete.good


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


typedef a = private;
typedef b = (int x);
typedef incomplete c = (private);
typedef incomplete d = (int x, private);

typedef g = private^;
typedef h = c^;
typedef i = b?;

typedef j = (private^ r)(private ^x);
typedef k = (g)(g);

typedef l = enum(a,b,c);