aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/def_type_cyclic.bad
blob: 6f846d64e031da5522647c2176de944f85b224fb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

/* ERRORS */
typedef X = Y;
typedef Y = X;

/* ERRORS */
typedef A = B;
typedef B = C;
typedef C = D;
typedef D = A;

/* ERRORS */
typedef T0 = T1;
typedef T1 = T2;
typedef T2 = T3;
typedef T3 = T4;
typedef T4 = T5;
typedef T5 = T6;
typedef T6 = T7;
typedef T7 = T8;
typedef T8 = T9;
typedef T9 = T10;
typedef T10 = T11;
typedef T11 = T12;
typedef T12 = T13;
typedef T13 = T14;
typedef T14 = T15;
typedef T15 = T16;
typedef T16 = T17;
typedef T17 = T18;
typedef T18 = T19;
typedef T19 = T20;
typedef T20 = T21;
typedef T21 = T22;
typedef T22 = T23;
typedef T23 = T24;
typedef T24 = T25;
typedef T25 = T26;
typedef T26 = T27;
typedef T27 = T28;
typedef T28 = T29;
typedef T29 = T30;
typedef T30 = T31;
typedef T31 = T32;
typedef T32 = T33;
typedef T33 = T34;
typedef T34 = T35;
typedef T35 = T36;
typedef T36 = T37;
typedef T37 = T38;
typedef T38 = T39;
typedef T39 = T40;
typedef T40 = T41;
typedef T41 = T42;
typedef T42 = T43;
typedef T43 = T44;
typedef T44 = T45;
typedef T45 = T46;
typedef T46 = T47;
typedef T47 = T48;
typedef T48 = T49;
typedef T49 = T50;
typedef T50 = T51;
typedef T51 = T52;
typedef T52 = T53;
typedef T53 = T54;
typedef T54 = T55;
typedef T55 = T56;
typedef T56 = T57;
typedef T57 = T58;
typedef T58 = T59;
typedef T59 = T60;
typedef T60 = T61;
typedef T61 = T62;
typedef T62 = T63;
typedef T63 = T64;
typedef T64 = T65;
typedef T65 = T66;
typedef T66 = T67;
typedef T67 = T68;
typedef T68 = T69;
typedef T69 = T70;
typedef T70 = T71;
typedef T71 = T72;
typedef T72 = T73;
typedef T73 = T74;
typedef T74 = T75;
typedef T75 = T76;
typedef T76 = T77;
typedef T77 = T78;
typedef T78 = T79;
typedef T79 = T80;
typedef T80 = T81;
typedef T81 = T82;
typedef T82 = T83;
typedef T83 = T84;
typedef T84 = T85;
typedef T85 = T86;
typedef T86 = T87;
typedef T87 = T88;
typedef T88 = T89;
typedef T89 = T90;
typedef T90 = T91;
typedef T91 = T92;
typedef T92 = T93;
typedef T93 = T94;
typedef T94 = T95;
typedef T95 = T96;
typedef T96 = T97;
typedef T97 = T98;
typedef T98 = T99;
typedef T99 = T0;