Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(133)

Side by Side Diff: tests/language/function_type/function_type46_test.dart

Issue 2904563005: Reformat generated tests files. (Closed)
Patch Set: Created 3 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 // GENERATED - DON'T EDIT. 5 // GENERATED - DON'T EDIT.
6 // GENERATED - DON'T EDIT. 6 // GENERATED - DON'T EDIT.
7 // GENERATED - DON'T EDIT. 7 // GENERATED - DON'T EDIT.
8 // GENERATED - DON'T EDIT. 8 // GENERATED - DON'T EDIT.
9 // GENERATED - DON'T EDIT. 9 // GENERATED - DON'T EDIT.
10 // GENERATED - DON'T EDIT. 10 // GENERATED - DON'T EDIT.
11 // GENERATED - DON'T EDIT. 11 // GENERATED - DON'T EDIT.
12 // GENERATED - DON'T EDIT. 12 // GENERATED - DON'T EDIT.
13 13
14 import 'dart:core'; 14 import 'dart:core';
15 import 'dart:core' as core; 15 import 'dart:core' as core;
16 import 'package:expect/expect.dart'; 16 import 'package:expect/expect.dart';
17 17
18 @NoInline() 18 @NoInline()
19 @AssumeDynamic() 19 @AssumeDynamic()
20 confuse(f) => f; 20 confuse(f) => f;
21 21
22 final bool inCheckedMode = 22 final bool inCheckedMode = (() {
23 (() { bool result = false; assert(result = true); return result; })(); 23 bool result = false;
24 assert(result = true);
25 return result;
26 })();
24 27
25 28 typedef F0<T>
26 typedef F0<T> = int Function(int x0, [List<T> x]); 29 = int Function(int x0, [List<T> x]);
27 typedef F1<T> = List<Function> Function([core.List<core.int> x]); 30 typedef F1<T>
28 typedef F2<T> = List<T> Function(List<Function> x); 31 = List<Function> Function([core.List<core.int> x]);
29 typedef F3<T> = void Function(int y, {int x}); 32 typedef F2<T>
30 typedef F4<T> = A Function<A>(A x); 33 = List<T> Function(List<Function> x);
31 typedef F5<T> = int Function(int x1, {Function x}) Function<B extends core.int>( ); 34 typedef F3<T>
32 typedef F6<T> = int Function([List<T> x]) Function<B extends core.int>(); 35 = void Function(int y, {int x});
33 typedef F7<T> = Function Function(int y, [Function x]) Function<B extends core.i nt>(); 36 typedef F4<T>
34 typedef F8<T> = Function Function(int x2, [core.List<core.int> x3]) Function<B e xtends core.int>(); 37 = A Function<A>(A x);
35 typedef F9<T> = List<Function> Function({int x}) Function<B extends core.int>(); 38 typedef F5<T>
36 typedef F10<T> = List<Function> Function(core.List<core.int> x) Function<B exten ds core.int>(); 39 = int Function(int x1, {Function x}) Function<B extends core.int>();
37 typedef F11<T> = core.List<core.int> Function(int x1, [int x]) Function<B extend s core.int>(); 40 typedef F6<T>
38 typedef F12<T> = core.List<core.int> Function([List<Function> x1]) Function<B ex tends core.int>(); 41 = int Function([List<T> x]) Function<B extends core.int>();
39 typedef F13<T> = core.List<core.int> Function({List<T> x}) Function<B extends co re.int>(); 42 typedef F7<T>
40 typedef F14<T> = List<T> Function(int y, {Function x}) Function<B extends core.i nt>(); 43 = Function Function(int y, [Function x]) Function<B extends core.int>();
41 typedef F15<T> = List<T> Function(int x1, [List<T> x]) Function<B extends core.i nt>(); 44 typedef F8<T>
42 typedef F16<T> = Function(Function x1) Function<B extends core.int>(); 45 = Function Function(int x2,
43 typedef F17<T> = Function(int x, [core.List<core.int> x1]) Function<B extends co re.int>(); 46 [core.List<core.int> x3]) Function<B extends core.int>();
44 typedef F18<T> = void Function(int x1, {int x}) Function<B extends core.int>(); 47 typedef F9<T>
45 typedef F19<T> = void Function([core.List<core.int> x]) Function<B extends core. int>(); 48 = List<Function> Function({int x}) Function<B extends core.int>();
46 typedef F20<T> = int Function<A>(core.List<core.int> x) Function<B extends core. int>(); 49 typedef F10<T>
47 typedef F21<T> = core.List<core.int> Function<A>(List<T> x) Function<B extends c ore.int>(); 50 = List<Function> Function(
48 typedef F22<T> = A Function<A>() Function<B extends core.int>(); 51 core.List<core.int> x) Function<B extends core.int>();
49 typedef F23<T> = B Function(List<T> x) Function<B extends core.int>(); 52 typedef F11<T>
50 53 = core.List<core.int> Function(int x1,
54 [int x]) Function<B extends core.int>();
55 typedef F12<T>
56 = core.List<core.int> Function(
57 [List<Function> x1]) Function<B extends core.int>();
58 typedef F13<T>
59 = core.List<core.int> Function({List<T> x}) Function<B extends core.int>();
60 typedef F14<T>
61 = List<T> Function(int y, {Function x}) Function<B extends core.int>();
62 typedef F15<T>
63 = List<T> Function(int x1, [List<T> x]) Function<B extends core.int>();
64 typedef F16<T>
65 = Function(Function x1) Function<B extends core.int>();
66 typedef F17<T>
67 = Function(int x, [core.List<core.int> x1]) Function<B extends core.int>();
68 typedef F18<T>
69 = void Function(int x1, {int x}) Function<B extends core.int>();
70 typedef F19<T>
71 = void Function([core.List<core.int> x]) Function<B extends core.int>();
72 typedef F20<T>
73 = int Function<A>(core.List<core.int> x) Function<B extends core.int>();
74 typedef F21<T>
75 = core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>();
76 typedef F22<T>
77 = A Function<A>() Function<B extends core.int>();
78 typedef F23<T>
79 = B Function(List<T> x) Function<B extends core.int>();
51 80
52 int f0(int x0, [List<int> x]) => null; 81 int f0(int x0, [List<int> x]) => null;
53 List<Function> f1([core.List<core.int> x]) => null; 82 List<Function> f1([core.List<core.int> x]) => null;
54 List<int> f2(List<Function> x) => null; 83 List<int> f2(List<Function> x) => null;
55 void f3(int y, {int x}) => null; 84 void f3(int y, {int x}) => null;
56 A f4<A>(A x) => null; 85 A f4<A>(A x) => null;
57 int Function(int x0, {Function x}) f5<B extends core.int>() => null; 86 int Function(int x0, {Function x}) f5<B extends core.int>() => null;
58 int Function([List<int> x]) f6<B extends core.int>() => null; 87 int Function([List<int> x]) f6<B extends core.int>() => null;
59 Function Function(int y, [Function x]) f7<B extends core.int>() => null; 88 Function Function(int y, [Function x]) f7<B extends core.int>() => null;
60 Function Function(int x0, [core.List<core.int> x1]) f8<B extends core.int>() => null; 89 Function Function(int x0, [core.List<core.int> x1]) f8<B extends core.int>() =>
90 null;
61 List<Function> Function({int x}) f9<B extends core.int>() => null; 91 List<Function> Function({int x}) f9<B extends core.int>() => null;
62 List<Function> Function(core.List<core.int> x) f10<B extends core.int>() => null ; 92 List<Function> Function(core.List<core.int> x) f10<B extends core.int>() =>
93 null;
63 core.List<core.int> Function(int x0, [int x]) f11<B extends core.int>() => null; 94 core.List<core.int> Function(int x0, [int x]) f11<B extends core.int>() => null;
64 core.List<core.int> Function([List<Function> x0]) f12<B extends core.int>() => n ull; 95 core.List<core.int> Function([List<Function> x0]) f12<B extends core.int>() =>
96 null;
65 core.List<core.int> Function({List<int> x}) f13<B extends core.int>() => null; 97 core.List<core.int> Function({List<int> x}) f13<B extends core.int>() => null;
66 List<int> Function(int y, {Function x}) f14<B extends core.int>() => null; 98 List<int> Function(int y, {Function x}) f14<B extends core.int>() => null;
67 List<int> Function(int x0, [List<int> x]) f15<B extends core.int>() => null; 99 List<int> Function(int x0, [List<int> x]) f15<B extends core.int>() => null;
68 Function(Function x0) f16<B extends core.int>() => null; 100 Function(Function x0) f16<B extends core.int>() => null;
69 Function(int x, [core.List<core.int> x0]) f17<B extends core.int>() => null; 101 Function(int x, [core.List<core.int> x0]) f17<B extends core.int>() => null;
70 void Function(int x0, {int x}) f18<B extends core.int>() => null; 102 void Function(int x0, {int x}) f18<B extends core.int>() => null;
71 void Function([core.List<core.int> x]) f19<B extends core.int>() => null; 103 void Function([core.List<core.int> x]) f19<B extends core.int>() => null;
72 int Function<A>(core.List<core.int> x) f20<B extends core.int>() => null; 104 int Function<A>(core.List<core.int> x) f20<B extends core.int>() => null;
73 core.List<core.int> Function<A>(List<int> x) f21<B extends core.int>() => null; 105 core.List<core.int> Function<A>(List<int> x) f21<B extends core.int>() => null;
74 A Function<A>() f22<B extends core.int>() => null; 106 A Function<A>() f22<B extends core.int>() => null;
75 B Function(List<int> x) f23<B extends core.int>() => null; 107 B Function(List<int> x) f23<B extends core.int>() => null;
76 108
77
78 class U46<T> { 109 class U46<T> {
79 final bool tIsBool; 110 final bool tIsBool;
80 final bool tIsInt; 111 final bool tIsInt;
81 final bool tIsDynamic; 112 final bool tIsDynamic;
82 113
83 int Function(int x0, [List<T> x]) x0; 114 int Function(int x0, [List<T> x]) x0;
84 List<Function> Function([core.List<core.int> x]) x1; 115 List<Function> Function([core.List<core.int> x]) x1;
85 List<T> Function(List<Function> x) x2; 116 List<T> Function(List<Function> x) x2;
86 void Function(int y, {int x}) x3; 117 void Function(int y, {int x}) x3;
87 A Function<A>(A x) x4; 118 A Function<A>(A x) x4;
88 int Function(int x1, {Function x}) Function<B extends core.int>() x5; 119 int Function(int x1, {Function x}) Function<B extends core.int>() x5;
89 int Function([List<T> x]) Function<B extends core.int>() x6; 120 int Function([List<T> x]) Function<B extends core.int>() x6;
90 Function Function(int y, [Function x]) Function<B extends core.int>() x7; 121 Function Function(int y, [Function x]) Function<B extends core.int>() x7;
91 Function Function(int x2, [core.List<core.int> x3]) Function<B extends core.in t>() x8; 122 Function Function(int x2,
123 [core.List<core.int> x3]) Function<B extends core.int>() x8;
92 List<Function> Function({int x}) Function<B extends core.int>() x9; 124 List<Function> Function({int x}) Function<B extends core.int>() x9;
93 List<Function> Function(core.List<core.int> x) Function<B extends core.int>() x10; 125 List<Function> Function(core.List<core.int> x) Function<B extends core.int>()
94 core.List<core.int> Function(int x1, [int x]) Function<B extends core.int>() x 11; 126 x10;
95 core.List<core.int> Function([List<Function> x1]) Function<B extends core.int> () x12; 127 core.List<core.int> Function(int x1, [int x]) Function<B extends core.int>()
128 x11;
129 core.List<core.int> Function(
130 [List<Function> x1]) Function<B extends core.int>() x12;
96 core.List<core.int> Function({List<T> x}) Function<B extends core.int>() x13; 131 core.List<core.int> Function({List<T> x}) Function<B extends core.int>() x13;
97 List<T> Function(int y, {Function x}) Function<B extends core.int>() x14; 132 List<T> Function(int y, {Function x}) Function<B extends core.int>() x14;
98 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() x15; 133 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() x15;
99 Function(Function x1) Function<B extends core.int>() x16; 134 Function(Function x1) Function<B extends core.int>() x16;
100 Function(int x, [core.List<core.int> x1]) Function<B extends core.int>() x17; 135 Function(int x, [core.List<core.int> x1]) Function<B extends core.int>() x17;
101 void Function(int x1, {int x}) Function<B extends core.int>() x18; 136 void Function(int x1, {int x}) Function<B extends core.int>() x18;
102 void Function([core.List<core.int> x]) Function<B extends core.int>() x19; 137 void Function([core.List<core.int> x]) Function<B extends core.int>() x19;
103 int Function<A>(core.List<core.int> x) Function<B extends core.int>() x20; 138 int Function<A>(core.List<core.int> x) Function<B extends core.int>() x20;
104 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>() x21; 139 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>() x21;
105 A Function<A>() Function<B extends core.int>() x22; 140 A Function<A>() Function<B extends core.int>() x22;
106 B Function(List<T> x) Function<B extends core.int>() x23; 141 B Function(List<T> x) Function<B extends core.int>() x23;
107 142
108
109 U46({this.tIsBool: false, this.tIsInt: false}) 143 U46({this.tIsBool: false, this.tIsInt: false})
110 : tIsDynamic = !tIsBool && !tIsInt; 144 : tIsDynamic = !tIsBool && !tIsInt;
111 145
112 int m0(int x0, [List<T> x]) => null; 146 int m0(int x0, [List<T> x]) => null;
113 List<Function> m1([core.List<core.int> x]) => null; 147 List<Function> m1([core.List<core.int> x]) => null;
114 List<T> m2(List<Function> x) => null; 148 List<T> m2(List<Function> x) => null;
115 void m3(int y, {int x}) => null; 149 void m3(int y, {int x}) => null;
116 A m4<A>(A x) => null; 150 A m4<A>(A x) => null;
117 int Function(int x0, {Function x}) m5<B extends core.int>() => null; 151 int Function(int x0, {Function x}) m5<B extends core.int>() => null;
118 int Function([List<T> x]) m6<B extends core.int>() => null; 152 int Function([List<T> x]) m6<B extends core.int>() => null;
119 Function Function(int y, [Function x]) m7<B extends core.int>() => null; 153 Function Function(int y, [Function x]) m7<B extends core.int>() => null;
120 Function Function(int x0, [core.List<core.int> x1]) m8<B extends core.int>() = > null; 154 Function Function(int x0, [core.List<core.int> x1])
155 m8<B extends core.int>() => null;
121 List<Function> Function({int x}) m9<B extends core.int>() => null; 156 List<Function> Function({int x}) m9<B extends core.int>() => null;
122 List<Function> Function(core.List<core.int> x) m10<B extends core.int>() => nu ll; 157 List<Function> Function(core.List<core.int> x) m10<B extends core.int>() =>
123 core.List<core.int> Function(int x0, [int x]) m11<B extends core.int>() => nul l; 158 null;
124 core.List<core.int> Function([List<Function> x0]) m12<B extends core.int>() => null; 159 core.List<core.int> Function(int x0, [int x]) m11<B extends core.int>() =>
160 null;
161 core.List<core.int> Function([List<Function> x0]) m12<B extends core.int>() =>
162 null;
125 core.List<core.int> Function({List<T> x}) m13<B extends core.int>() => null; 163 core.List<core.int> Function({List<T> x}) m13<B extends core.int>() => null;
126 List<T> Function(int y, {Function x}) m14<B extends core.int>() => null; 164 List<T> Function(int y, {Function x}) m14<B extends core.int>() => null;
127 List<T> Function(int x0, [List<T> x]) m15<B extends core.int>() => null; 165 List<T> Function(int x0, [List<T> x]) m15<B extends core.int>() => null;
128 Function(Function x0) m16<B extends core.int>() => null; 166 Function(Function x0) m16<B extends core.int>() => null;
129 Function(int x, [core.List<core.int> x0]) m17<B extends core.int>() => null; 167 Function(int x, [core.List<core.int> x0]) m17<B extends core.int>() => null;
130 void Function(int x0, {int x}) m18<B extends core.int>() => null; 168 void Function(int x0, {int x}) m18<B extends core.int>() => null;
131 void Function([core.List<core.int> x]) m19<B extends core.int>() => null; 169 void Function([core.List<core.int> x]) m19<B extends core.int>() => null;
132 int Function<A>(core.List<core.int> x) m20<B extends core.int>() => null; 170 int Function<A>(core.List<core.int> x) m20<B extends core.int>() => null;
133 core.List<core.int> Function<A>(List<T> x) m21<B extends core.int>() => null; 171 core.List<core.int> Function<A>(List<T> x) m21<B extends core.int>() => null;
134 A Function<A>() m22<B extends core.int>() => null; 172 A Function<A>() m22<B extends core.int>() => null;
135 B Function(List<T> x) m23<B extends core.int>() => null; 173 B Function(List<T> x) m23<B extends core.int>() => null;
136 174
137
138 runTests() { 175 runTests() {
139 testF0(); 176 testF0();
140 testF1(); 177 testF1();
141 testF2(); 178 testF2();
142 testF3(); 179 testF3();
143 testF4(); 180 testF4();
144 testF5(); 181 testF5();
145 testF6(); 182 testF6();
146 testF7(); 183 testF7();
147 testF8(); 184 testF8();
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after
186 l0 = confuse(m0); 223 l0 = confuse(m0);
187 if (!tIsBool) { 224 if (!tIsBool) {
188 Expect.isTrue(f0 is F0<int>); 225 Expect.isTrue(f0 is F0<int>);
189 Expect.isFalse(f0 is F0<bool>); 226 Expect.isFalse(f0 is F0<bool>);
190 Expect.isTrue(confuse(f0) is F0<int>); 227 Expect.isTrue(confuse(f0) is F0<int>);
191 Expect.isFalse(confuse(f0) is F0<bool>); 228 Expect.isFalse(confuse(f0) is F0<bool>);
192 Expect.equals(tIsDynamic, m0 is F0<bool>); 229 Expect.equals(tIsDynamic, m0 is F0<bool>);
193 Expect.equals(tIsDynamic, confuse(m0) is F0<bool>); 230 Expect.equals(tIsDynamic, confuse(m0) is F0<bool>);
194 } else { 231 } else {
195 if (inCheckedMode) { 232 if (inCheckedMode) {
196 Expect.throws(() { x0 = (f0 as dynamic); }); 233 Expect.throws(() {
197 Expect.throws(() { x0 = confuse(f0); }); 234 x0 = (f0 as dynamic);
235 });
236 Expect.throws(() {
237 x0 = confuse(f0);
238 });
198 int Function(int x0, [List<T> x]) l0; 239 int Function(int x0, [List<T> x]) l0;
199 Expect.throws(() { l0 = (f0 as dynamic); }); 240 Expect.throws(() {
200 Expect.throws(() { l0 = confuse(f0); }); 241 l0 = (f0 as dynamic);
242 });
243 Expect.throws(() {
244 l0 = confuse(f0);
245 });
201 } 246 }
202 int Function(int x0, [List<T> x]) l0 = m0; 247 int Function(int x0, [List<T> x]) l0 = m0;
203 // In checked mode, verifies the type. 248 // In checked mode, verifies the type.
204 x0 = m0; 249 x0 = m0;
205 x0 = confuse(m0); 250 x0 = confuse(m0);
206 } 251 }
207 } 252 }
208 253
209 /// List<Function> Function([core.List<core.int> x]) 254 /// List<Function> Function([core.List<core.int> x])
210 void testF1() { 255 void testF1() {
(...skipping 10 matching lines...) Expand all
221 } 266 }
222 267
223 Expect.isTrue(m1 is F1); 268 Expect.isTrue(m1 is F1);
224 Expect.isTrue(m1 is List<Function> Function([core.List<core.int> x])); 269 Expect.isTrue(m1 is List<Function> Function([core.List<core.int> x]));
225 Expect.isTrue(confuse(m1) is F1); 270 Expect.isTrue(confuse(m1) is F1);
226 // In checked mode, verifies the type. 271 // In checked mode, verifies the type.
227 x1 = m1; 272 x1 = m1;
228 l1 = m1; 273 l1 = m1;
229 x1 = confuse(m1); 274 x1 = confuse(m1);
230 l1 = confuse(m1); 275 l1 = confuse(m1);
231
232 } 276 }
233 277
234 /// List<T> Function(List<Function> x) 278 /// List<T> Function(List<Function> x)
235 void testF2() { 279 void testF2() {
236 Expect.isTrue(f2 is F2); 280 Expect.isTrue(f2 is F2);
237 Expect.isTrue(confuse(f2) is F2); 281 Expect.isTrue(confuse(f2) is F2);
238 // In checked mode, verifies the type. 282 // In checked mode, verifies the type.
239 List<T> Function(List<Function> x) l2; 283 List<T> Function(List<Function> x) l2;
240 // The static function f2 sets `T` to `int`. 284 // The static function f2 sets `T` to `int`.
241 if (!tIsBool) { 285 if (!tIsBool) {
(...skipping 13 matching lines...) Expand all
255 l2 = confuse(m2); 299 l2 = confuse(m2);
256 if (!tIsBool) { 300 if (!tIsBool) {
257 Expect.isTrue(f2 is F2<int>); 301 Expect.isTrue(f2 is F2<int>);
258 Expect.isFalse(f2 is F2<bool>); 302 Expect.isFalse(f2 is F2<bool>);
259 Expect.isTrue(confuse(f2) is F2<int>); 303 Expect.isTrue(confuse(f2) is F2<int>);
260 Expect.isFalse(confuse(f2) is F2<bool>); 304 Expect.isFalse(confuse(f2) is F2<bool>);
261 Expect.equals(tIsDynamic, m2 is F2<bool>); 305 Expect.equals(tIsDynamic, m2 is F2<bool>);
262 Expect.equals(tIsDynamic, confuse(m2) is F2<bool>); 306 Expect.equals(tIsDynamic, confuse(m2) is F2<bool>);
263 } else { 307 } else {
264 if (inCheckedMode) { 308 if (inCheckedMode) {
265 Expect.throws(() { x2 = (f2 as dynamic); }); 309 Expect.throws(() {
266 Expect.throws(() { x2 = confuse(f2); }); 310 x2 = (f2 as dynamic);
311 });
312 Expect.throws(() {
313 x2 = confuse(f2);
314 });
267 List<T> Function(List<Function> x) l2; 315 List<T> Function(List<Function> x) l2;
268 Expect.throws(() { l2 = (f2 as dynamic); }); 316 Expect.throws(() {
269 Expect.throws(() { l2 = confuse(f2); }); 317 l2 = (f2 as dynamic);
318 });
319 Expect.throws(() {
320 l2 = confuse(f2);
321 });
270 } 322 }
271 List<T> Function(List<Function> x) l2 = m2; 323 List<T> Function(List<Function> x) l2 = m2;
272 // In checked mode, verifies the type. 324 // In checked mode, verifies the type.
273 x2 = m2; 325 x2 = m2;
274 x2 = confuse(m2); 326 x2 = confuse(m2);
275 } 327 }
276 } 328 }
277 329
278 /// void Function(int y, {int x}) 330 /// void Function(int y, {int x})
279 void testF3() { 331 void testF3() {
(...skipping 10 matching lines...) Expand all
290 } 342 }
291 343
292 Expect.isTrue(m3 is F3); 344 Expect.isTrue(m3 is F3);
293 Expect.isTrue(m3 is void Function(int y, {int x})); 345 Expect.isTrue(m3 is void Function(int y, {int x}));
294 Expect.isTrue(confuse(m3) is F3); 346 Expect.isTrue(confuse(m3) is F3);
295 // In checked mode, verifies the type. 347 // In checked mode, verifies the type.
296 x3 = m3; 348 x3 = m3;
297 l3 = m3; 349 l3 = m3;
298 x3 = confuse(m3); 350 x3 = confuse(m3);
299 l3 = confuse(m3); 351 l3 = confuse(m3);
300
301 } 352 }
302 353
303 /// A Function<A>(A x) 354 /// A Function<A>(A x)
304 void testF4() { 355 void testF4() {
305 Expect.isTrue(f4 is F4); 356 Expect.isTrue(f4 is F4);
306 Expect.isTrue(confuse(f4) is F4); 357 Expect.isTrue(confuse(f4) is F4);
307 // In checked mode, verifies the type. 358 // In checked mode, verifies the type.
308 A Function<A>(A x) l4; 359 A Function<A>(A x) l4;
309 // The static function f4 sets `T` to `int`. 360 // The static function f4 sets `T` to `int`.
310 if (!tIsBool) { 361 if (!tIsBool) {
311 x4 = f4 as dynamic; 362 x4 = f4 as dynamic;
312 l4 = f4 as dynamic; 363 l4 = f4 as dynamic;
313 x4 = confuse(f4); 364 x4 = confuse(f4);
314 l4 = confuse(f4); 365 l4 = confuse(f4);
315 } 366 }
316 367
317 Expect.isTrue(m4 is F4); 368 Expect.isTrue(m4 is F4);
318 Expect.isTrue(m4 is A Function<A>(A x)); 369 Expect.isTrue(m4 is A Function<A>(A x));
319 Expect.isTrue(confuse(m4) is F4); 370 Expect.isTrue(confuse(m4) is F4);
320 // In checked mode, verifies the type. 371 // In checked mode, verifies the type.
321 x4 = m4; 372 x4 = m4;
322 l4 = m4; 373 l4 = m4;
323 x4 = confuse(m4); 374 x4 = confuse(m4);
324 l4 = confuse(m4); 375 l4 = confuse(m4);
325
326 } 376 }
327 377
328 /// int Function(int x1, {Function x}) Function<B extends core.int>() 378 /// int Function(int x1, {Function x}) Function<B extends core.int>()
329 void testF5() { 379 void testF5() {
330 Expect.isTrue(f5 is F5); 380 Expect.isTrue(f5 is F5);
331 Expect.isTrue(confuse(f5) is F5); 381 Expect.isTrue(confuse(f5) is F5);
332 // In checked mode, verifies the type. 382 // In checked mode, verifies the type.
333 int Function(int x1, {Function x}) Function<B extends core.int>() l5; 383 int Function(int x1, {Function x}) Function<B extends core.int>() l5;
334 // The static function f5 sets `T` to `int`. 384 // The static function f5 sets `T` to `int`.
335 if (!tIsBool) { 385 if (!tIsBool) {
336 x5 = f5 as dynamic; 386 x5 = f5 as dynamic;
337 l5 = f5 as dynamic; 387 l5 = f5 as dynamic;
338 x5 = confuse(f5); 388 x5 = confuse(f5);
339 l5 = confuse(f5); 389 l5 = confuse(f5);
340 } 390 }
341 391
342 Expect.isTrue(m5 is F5); 392 Expect.isTrue(m5 is F5);
343 Expect.isTrue(m5 is int Function(int x1, {Function x}) Function<B extends co re.int>()); 393 Expect.isTrue(m5 is int Function(int x1,
394 {Function x}) Function<B extends core.int>());
344 Expect.isTrue(confuse(m5) is F5); 395 Expect.isTrue(confuse(m5) is F5);
345 // In checked mode, verifies the type. 396 // In checked mode, verifies the type.
346 x5 = m5; 397 x5 = m5;
347 l5 = m5; 398 l5 = m5;
348 x5 = confuse(m5); 399 x5 = confuse(m5);
349 l5 = confuse(m5); 400 l5 = confuse(m5);
350
351 } 401 }
352 402
353 /// int Function([List<T> x]) Function<B extends core.int>() 403 /// int Function([List<T> x]) Function<B extends core.int>()
354 void testF6() { 404 void testF6() {
355 Expect.isTrue(f6 is F6); 405 Expect.isTrue(f6 is F6);
356 Expect.isTrue(confuse(f6) is F6); 406 Expect.isTrue(confuse(f6) is F6);
357 // In checked mode, verifies the type. 407 // In checked mode, verifies the type.
358 int Function([List<T> x]) Function<B extends core.int>() l6; 408 int Function([List<T> x]) Function<B extends core.int>() l6;
359 // The static function f6 sets `T` to `int`. 409 // The static function f6 sets `T` to `int`.
360 if (!tIsBool) { 410 if (!tIsBool) {
361 x6 = f6 as dynamic; 411 x6 = f6 as dynamic;
362 l6 = f6 as dynamic; 412 l6 = f6 as dynamic;
363 x6 = confuse(f6); 413 x6 = confuse(f6);
364 l6 = confuse(f6); 414 l6 = confuse(f6);
365 } 415 }
366 416
367 Expect.isTrue(m6 is F6); 417 Expect.isTrue(m6 is F6);
368 Expect.isTrue(m6 is int Function([List<T> x]) Function<B extends core.int>() ); 418 Expect
419 .isTrue(m6 is int Function([List<T> x]) Function<B extends core.int>());
369 Expect.isTrue(confuse(m6) is F6); 420 Expect.isTrue(confuse(m6) is F6);
370 // In checked mode, verifies the type. 421 // In checked mode, verifies the type.
371 x6 = m6; 422 x6 = m6;
372 l6 = m6; 423 l6 = m6;
373 x6 = confuse(m6); 424 x6 = confuse(m6);
374 l6 = confuse(m6); 425 l6 = confuse(m6);
375 if (!tIsBool) { 426 if (!tIsBool) {
376 Expect.isTrue(f6 is F6<int>); 427 Expect.isTrue(f6 is F6<int>);
377 Expect.isFalse(f6 is F6<bool>); 428 Expect.isFalse(f6 is F6<bool>);
378 Expect.isTrue(confuse(f6) is F6<int>); 429 Expect.isTrue(confuse(f6) is F6<int>);
379 Expect.isFalse(confuse(f6) is F6<bool>); 430 Expect.isFalse(confuse(f6) is F6<bool>);
380 Expect.equals(tIsDynamic, m6 is F6<bool>); 431 Expect.equals(tIsDynamic, m6 is F6<bool>);
381 Expect.equals(tIsDynamic, confuse(m6) is F6<bool>); 432 Expect.equals(tIsDynamic, confuse(m6) is F6<bool>);
382 } else { 433 } else {
383 if (inCheckedMode) { 434 if (inCheckedMode) {
384 Expect.throws(() { x6 = (f6 as dynamic); }); 435 Expect.throws(() {
385 Expect.throws(() { x6 = confuse(f6); }); 436 x6 = (f6 as dynamic);
437 });
438 Expect.throws(() {
439 x6 = confuse(f6);
440 });
386 int Function([List<T> x]) Function<B extends core.int>() l6; 441 int Function([List<T> x]) Function<B extends core.int>() l6;
387 Expect.throws(() { l6 = (f6 as dynamic); }); 442 Expect.throws(() {
388 Expect.throws(() { l6 = confuse(f6); }); 443 l6 = (f6 as dynamic);
444 });
445 Expect.throws(() {
446 l6 = confuse(f6);
447 });
389 } 448 }
390 int Function([List<T> x]) Function<B extends core.int>() l6 = m6; 449 int Function([List<T> x]) Function<B extends core.int>() l6 = m6;
391 // In checked mode, verifies the type. 450 // In checked mode, verifies the type.
392 x6 = m6; 451 x6 = m6;
393 x6 = confuse(m6); 452 x6 = confuse(m6);
394 } 453 }
395 } 454 }
396 455
397 /// Function Function(int y, [Function x]) Function<B extends core.int>() 456 /// Function Function(int y, [Function x]) Function<B extends core.int>()
398 void testF7() { 457 void testF7() {
399 Expect.isTrue(f7 is F7); 458 Expect.isTrue(f7 is F7);
400 Expect.isTrue(confuse(f7) is F7); 459 Expect.isTrue(confuse(f7) is F7);
401 // In checked mode, verifies the type. 460 // In checked mode, verifies the type.
402 Function Function(int y, [Function x]) Function<B extends core.int>() l7; 461 Function Function(int y, [Function x]) Function<B extends core.int>() l7;
403 // The static function f7 sets `T` to `int`. 462 // The static function f7 sets `T` to `int`.
404 if (!tIsBool) { 463 if (!tIsBool) {
405 x7 = f7 as dynamic; 464 x7 = f7 as dynamic;
406 l7 = f7 as dynamic; 465 l7 = f7 as dynamic;
407 x7 = confuse(f7); 466 x7 = confuse(f7);
408 l7 = confuse(f7); 467 l7 = confuse(f7);
409 } 468 }
410 469
411 Expect.isTrue(m7 is F7); 470 Expect.isTrue(m7 is F7);
412 Expect.isTrue(m7 is Function Function(int y, [Function x]) Function<B extend s core.int>()); 471 Expect.isTrue(m7 is Function Function(int y,
472 [Function x]) Function<B extends core.int>());
413 Expect.isTrue(confuse(m7) is F7); 473 Expect.isTrue(confuse(m7) is F7);
414 // In checked mode, verifies the type. 474 // In checked mode, verifies the type.
415 x7 = m7; 475 x7 = m7;
416 l7 = m7; 476 l7 = m7;
417 x7 = confuse(m7); 477 x7 = confuse(m7);
418 l7 = confuse(m7); 478 l7 = confuse(m7);
419
420 } 479 }
421 480
422 /// Function Function(int x2, [core.List<core.int> x3]) Function<B extends cor e.int>() 481 /// Function Function(int x2, [core.List<core.int> x3]) Function<B extends cor e.int>()
423 void testF8() { 482 void testF8() {
424 Expect.isTrue(f8 is F8); 483 Expect.isTrue(f8 is F8);
425 Expect.isTrue(confuse(f8) is F8); 484 Expect.isTrue(confuse(f8) is F8);
426 // In checked mode, verifies the type. 485 // In checked mode, verifies the type.
427 Function Function(int x2, [core.List<core.int> x3]) Function<B extends core. int>() l8; 486 Function Function(int x2,
487 [core.List<core.int> x3]) Function<B extends core.int>() l8;
428 // The static function f8 sets `T` to `int`. 488 // The static function f8 sets `T` to `int`.
429 if (!tIsBool) { 489 if (!tIsBool) {
430 x8 = f8 as dynamic; 490 x8 = f8 as dynamic;
431 l8 = f8 as dynamic; 491 l8 = f8 as dynamic;
432 x8 = confuse(f8); 492 x8 = confuse(f8);
433 l8 = confuse(f8); 493 l8 = confuse(f8);
434 } 494 }
435 495
436 Expect.isTrue(m8 is F8); 496 Expect.isTrue(m8 is F8);
437 Expect.isTrue(m8 is Function Function(int x2, [core.List<core.int> x3]) Func tion<B extends core.int>()); 497 Expect.isTrue(m8 is Function Function(int x2,
498 [core.List<core.int> x3]) Function<B extends core.int>());
438 Expect.isTrue(confuse(m8) is F8); 499 Expect.isTrue(confuse(m8) is F8);
439 // In checked mode, verifies the type. 500 // In checked mode, verifies the type.
440 x8 = m8; 501 x8 = m8;
441 l8 = m8; 502 l8 = m8;
442 x8 = confuse(m8); 503 x8 = confuse(m8);
443 l8 = confuse(m8); 504 l8 = confuse(m8);
444
445 } 505 }
446 506
447 /// List<Function> Function({int x}) Function<B extends core.int>() 507 /// List<Function> Function({int x}) Function<B extends core.int>()
448 void testF9() { 508 void testF9() {
449 Expect.isTrue(f9 is F9); 509 Expect.isTrue(f9 is F9);
450 Expect.isTrue(confuse(f9) is F9); 510 Expect.isTrue(confuse(f9) is F9);
451 // In checked mode, verifies the type. 511 // In checked mode, verifies the type.
452 List<Function> Function({int x}) Function<B extends core.int>() l9; 512 List<Function> Function({int x}) Function<B extends core.int>() l9;
453 // The static function f9 sets `T` to `int`. 513 // The static function f9 sets `T` to `int`.
454 if (!tIsBool) { 514 if (!tIsBool) {
455 x9 = f9 as dynamic; 515 x9 = f9 as dynamic;
456 l9 = f9 as dynamic; 516 l9 = f9 as dynamic;
457 x9 = confuse(f9); 517 x9 = confuse(f9);
458 l9 = confuse(f9); 518 l9 = confuse(f9);
459 } 519 }
460 520
461 Expect.isTrue(m9 is F9); 521 Expect.isTrue(m9 is F9);
462 Expect.isTrue(m9 is List<Function> Function({int x}) Function<B extends core .int>()); 522 Expect.isTrue(
523 m9 is List<Function> Function({int x}) Function<B extends core.int>());
463 Expect.isTrue(confuse(m9) is F9); 524 Expect.isTrue(confuse(m9) is F9);
464 // In checked mode, verifies the type. 525 // In checked mode, verifies the type.
465 x9 = m9; 526 x9 = m9;
466 l9 = m9; 527 l9 = m9;
467 x9 = confuse(m9); 528 x9 = confuse(m9);
468 l9 = confuse(m9); 529 l9 = confuse(m9);
469
470 } 530 }
471 531
472 /// List<Function> Function(core.List<core.int> x) Function<B extends core.int >() 532 /// List<Function> Function(core.List<core.int> x) Function<B extends core.int >()
473 void testF10() { 533 void testF10() {
474 Expect.isTrue(f10 is F10); 534 Expect.isTrue(f10 is F10);
475 Expect.isTrue(confuse(f10) is F10); 535 Expect.isTrue(confuse(f10) is F10);
476 // In checked mode, verifies the type. 536 // In checked mode, verifies the type.
477 List<Function> Function(core.List<core.int> x) Function<B extends core.int>( ) l10; 537 List<Function> Function(
538 core.List<core.int> x) Function<B extends core.int>() l10;
478 // The static function f10 sets `T` to `int`. 539 // The static function f10 sets `T` to `int`.
479 if (!tIsBool) { 540 if (!tIsBool) {
480 x10 = f10 as dynamic; 541 x10 = f10 as dynamic;
481 l10 = f10 as dynamic; 542 l10 = f10 as dynamic;
482 x10 = confuse(f10); 543 x10 = confuse(f10);
483 l10 = confuse(f10); 544 l10 = confuse(f10);
484 } 545 }
485 546
486 Expect.isTrue(m10 is F10); 547 Expect.isTrue(m10 is F10);
487 Expect.isTrue(m10 is List<Function> Function(core.List<core.int> x) Function <B extends core.int>()); 548 Expect.isTrue(m10 is List<Function> Function(
549 core.List<core.int> x) Function<B extends core.int>());
488 Expect.isTrue(confuse(m10) is F10); 550 Expect.isTrue(confuse(m10) is F10);
489 // In checked mode, verifies the type. 551 // In checked mode, verifies the type.
490 x10 = m10; 552 x10 = m10;
491 l10 = m10; 553 l10 = m10;
492 x10 = confuse(m10); 554 x10 = confuse(m10);
493 l10 = confuse(m10); 555 l10 = confuse(m10);
494
495 } 556 }
496 557
497 /// core.List<core.int> Function(int x1, [int x]) Function<B extends core.int> () 558 /// core.List<core.int> Function(int x1, [int x]) Function<B extends core.int> ()
498 void testF11() { 559 void testF11() {
499 Expect.isTrue(f11 is F11); 560 Expect.isTrue(f11 is F11);
500 Expect.isTrue(confuse(f11) is F11); 561 Expect.isTrue(confuse(f11) is F11);
501 // In checked mode, verifies the type. 562 // In checked mode, verifies the type.
502 core.List<core.int> Function(int x1, [int x]) Function<B extends core.int>() l11; 563 core.List<core.int> Function(int x1, [int x]) Function<B extends core.int>()
564 l11;
503 // The static function f11 sets `T` to `int`. 565 // The static function f11 sets `T` to `int`.
504 if (!tIsBool) { 566 if (!tIsBool) {
505 x11 = f11 as dynamic; 567 x11 = f11 as dynamic;
506 l11 = f11 as dynamic; 568 l11 = f11 as dynamic;
507 x11 = confuse(f11); 569 x11 = confuse(f11);
508 l11 = confuse(f11); 570 l11 = confuse(f11);
509 } 571 }
510 572
511 Expect.isTrue(m11 is F11); 573 Expect.isTrue(m11 is F11);
512 Expect.isTrue(m11 is core.List<core.int> Function(int x1, [int x]) Function< B extends core.int>()); 574 Expect.isTrue(m11 is core.List<core.int> Function(int x1,
575 [int x]) Function<B extends core.int>());
513 Expect.isTrue(confuse(m11) is F11); 576 Expect.isTrue(confuse(m11) is F11);
514 // In checked mode, verifies the type. 577 // In checked mode, verifies the type.
515 x11 = m11; 578 x11 = m11;
516 l11 = m11; 579 l11 = m11;
517 x11 = confuse(m11); 580 x11 = confuse(m11);
518 l11 = confuse(m11); 581 l11 = confuse(m11);
519
520 } 582 }
521 583
522 /// core.List<core.int> Function([List<Function> x1]) Function<B extends core. int>() 584 /// core.List<core.int> Function([List<Function> x1]) Function<B extends core. int>()
523 void testF12() { 585 void testF12() {
524 Expect.isTrue(f12 is F12); 586 Expect.isTrue(f12 is F12);
525 Expect.isTrue(confuse(f12) is F12); 587 Expect.isTrue(confuse(f12) is F12);
526 // In checked mode, verifies the type. 588 // In checked mode, verifies the type.
527 core.List<core.int> Function([List<Function> x1]) Function<B extends core.in t>() l12; 589 core.List<core.int> Function(
590 [List<Function> x1]) Function<B extends core.int>() l12;
528 // The static function f12 sets `T` to `int`. 591 // The static function f12 sets `T` to `int`.
529 if (!tIsBool) { 592 if (!tIsBool) {
530 x12 = f12 as dynamic; 593 x12 = f12 as dynamic;
531 l12 = f12 as dynamic; 594 l12 = f12 as dynamic;
532 x12 = confuse(f12); 595 x12 = confuse(f12);
533 l12 = confuse(f12); 596 l12 = confuse(f12);
534 } 597 }
535 598
536 Expect.isTrue(m12 is F12); 599 Expect.isTrue(m12 is F12);
537 Expect.isTrue(m12 is core.List<core.int> Function([List<Function> x1]) Funct ion<B extends core.int>()); 600 Expect.isTrue(m12 is core.List<core.int> Function(
601 [List<Function> x1]) Function<B extends core.int>());
538 Expect.isTrue(confuse(m12) is F12); 602 Expect.isTrue(confuse(m12) is F12);
539 // In checked mode, verifies the type. 603 // In checked mode, verifies the type.
540 x12 = m12; 604 x12 = m12;
541 l12 = m12; 605 l12 = m12;
542 x12 = confuse(m12); 606 x12 = confuse(m12);
543 l12 = confuse(m12); 607 l12 = confuse(m12);
544
545 } 608 }
546 609
547 /// core.List<core.int> Function({List<T> x}) Function<B extends core.int>() 610 /// core.List<core.int> Function({List<T> x}) Function<B extends core.int>()
548 void testF13() { 611 void testF13() {
549 Expect.isTrue(f13 is F13); 612 Expect.isTrue(f13 is F13);
550 Expect.isTrue(confuse(f13) is F13); 613 Expect.isTrue(confuse(f13) is F13);
551 // In checked mode, verifies the type. 614 // In checked mode, verifies the type.
552 core.List<core.int> Function({List<T> x}) Function<B extends core.int>() l13 ; 615 core.List<core.int> Function({List<T> x}) Function<B extends core.int>()
616 l13;
553 // The static function f13 sets `T` to `int`. 617 // The static function f13 sets `T` to `int`.
554 if (!tIsBool) { 618 if (!tIsBool) {
555 x13 = f13 as dynamic; 619 x13 = f13 as dynamic;
556 l13 = f13 as dynamic; 620 l13 = f13 as dynamic;
557 x13 = confuse(f13); 621 x13 = confuse(f13);
558 l13 = confuse(f13); 622 l13 = confuse(f13);
559 } 623 }
560 624
561 Expect.isTrue(m13 is F13); 625 Expect.isTrue(m13 is F13);
562 Expect.isTrue(m13 is core.List<core.int> Function({List<T> x}) Function<B ex tends core.int>()); 626 Expect.isTrue(m13 is core.List<core.int> Function(
627 {List<T> x}) Function<B extends core.int>());
563 Expect.isTrue(confuse(m13) is F13); 628 Expect.isTrue(confuse(m13) is F13);
564 // In checked mode, verifies the type. 629 // In checked mode, verifies the type.
565 x13 = m13; 630 x13 = m13;
566 l13 = m13; 631 l13 = m13;
567 x13 = confuse(m13); 632 x13 = confuse(m13);
568 l13 = confuse(m13); 633 l13 = confuse(m13);
569 if (!tIsBool) { 634 if (!tIsBool) {
570 Expect.isTrue(f13 is F13<int>); 635 Expect.isTrue(f13 is F13<int>);
571 Expect.isFalse(f13 is F13<bool>); 636 Expect.isFalse(f13 is F13<bool>);
572 Expect.isTrue(confuse(f13) is F13<int>); 637 Expect.isTrue(confuse(f13) is F13<int>);
573 Expect.isFalse(confuse(f13) is F13<bool>); 638 Expect.isFalse(confuse(f13) is F13<bool>);
574 Expect.equals(tIsDynamic, m13 is F13<bool>); 639 Expect.equals(tIsDynamic, m13 is F13<bool>);
575 Expect.equals(tIsDynamic, confuse(m13) is F13<bool>); 640 Expect.equals(tIsDynamic, confuse(m13) is F13<bool>);
576 } else { 641 } else {
577 if (inCheckedMode) { 642 if (inCheckedMode) {
578 Expect.throws(() { x13 = (f13 as dynamic); }); 643 Expect.throws(() {
579 Expect.throws(() { x13 = confuse(f13); }); 644 x13 = (f13 as dynamic);
580 core.List<core.int> Function({List<T> x}) Function<B extends core.int>() l13; 645 });
581 Expect.throws(() { l13 = (f13 as dynamic); }); 646 Expect.throws(() {
582 Expect.throws(() { l13 = confuse(f13); }); 647 x13 = confuse(f13);
648 });
649 core.List<core.int> Function({List<T> x}) Function<B extends core.int>()
650 l13;
651 Expect.throws(() {
652 l13 = (f13 as dynamic);
653 });
654 Expect.throws(() {
655 l13 = confuse(f13);
656 });
583 } 657 }
584 core.List<core.int> Function({List<T> x}) Function<B extends core.int>() l 13 = m13; 658 core.List<core.int> Function({List<T> x}) Function<B extends core.int>()
659 l13 = m13;
585 // In checked mode, verifies the type. 660 // In checked mode, verifies the type.
586 x13 = m13; 661 x13 = m13;
587 x13 = confuse(m13); 662 x13 = confuse(m13);
588 } 663 }
589 } 664 }
590 665
591 /// List<T> Function(int y, {Function x}) Function<B extends core.int>() 666 /// List<T> Function(int y, {Function x}) Function<B extends core.int>()
592 void testF14() { 667 void testF14() {
593 Expect.isTrue(f14 is F14); 668 Expect.isTrue(f14 is F14);
594 Expect.isTrue(confuse(f14) is F14); 669 Expect.isTrue(confuse(f14) is F14);
595 // In checked mode, verifies the type. 670 // In checked mode, verifies the type.
596 List<T> Function(int y, {Function x}) Function<B extends core.int>() l14; 671 List<T> Function(int y, {Function x}) Function<B extends core.int>() l14;
597 // The static function f14 sets `T` to `int`. 672 // The static function f14 sets `T` to `int`.
598 if (!tIsBool) { 673 if (!tIsBool) {
599 x14 = f14 as dynamic; 674 x14 = f14 as dynamic;
600 l14 = f14 as dynamic; 675 l14 = f14 as dynamic;
601 x14 = confuse(f14); 676 x14 = confuse(f14);
602 l14 = confuse(f14); 677 l14 = confuse(f14);
603 } 678 }
604 679
605 Expect.isTrue(m14 is F14); 680 Expect.isTrue(m14 is F14);
606 Expect.isTrue(m14 is List<T> Function(int y, {Function x}) Function<B extend s core.int>()); 681 Expect.isTrue(m14 is List<T> Function(int y,
682 {Function x}) Function<B extends core.int>());
607 Expect.isTrue(confuse(m14) is F14); 683 Expect.isTrue(confuse(m14) is F14);
608 // In checked mode, verifies the type. 684 // In checked mode, verifies the type.
609 x14 = m14; 685 x14 = m14;
610 l14 = m14; 686 l14 = m14;
611 x14 = confuse(m14); 687 x14 = confuse(m14);
612 l14 = confuse(m14); 688 l14 = confuse(m14);
613 if (!tIsBool) { 689 if (!tIsBool) {
614 Expect.isTrue(f14 is F14<int>); 690 Expect.isTrue(f14 is F14<int>);
615 Expect.isFalse(f14 is F14<bool>); 691 Expect.isFalse(f14 is F14<bool>);
616 Expect.isTrue(confuse(f14) is F14<int>); 692 Expect.isTrue(confuse(f14) is F14<int>);
617 Expect.isFalse(confuse(f14) is F14<bool>); 693 Expect.isFalse(confuse(f14) is F14<bool>);
618 Expect.equals(tIsDynamic, m14 is F14<bool>); 694 Expect.equals(tIsDynamic, m14 is F14<bool>);
619 Expect.equals(tIsDynamic, confuse(m14) is F14<bool>); 695 Expect.equals(tIsDynamic, confuse(m14) is F14<bool>);
620 } else { 696 } else {
621 if (inCheckedMode) { 697 if (inCheckedMode) {
622 Expect.throws(() { x14 = (f14 as dynamic); }); 698 Expect.throws(() {
623 Expect.throws(() { x14 = confuse(f14); }); 699 x14 = (f14 as dynamic);
624 List<T> Function(int y, {Function x}) Function<B extends core.int>() l14 ; 700 });
625 Expect.throws(() { l14 = (f14 as dynamic); }); 701 Expect.throws(() {
626 Expect.throws(() { l14 = confuse(f14); }); 702 x14 = confuse(f14);
703 });
704 List<T> Function(int y, {Function x}) Function<B extends core.int>()
705 l14;
706 Expect.throws(() {
707 l14 = (f14 as dynamic);
708 });
709 Expect.throws(() {
710 l14 = confuse(f14);
711 });
627 } 712 }
628 List<T> Function(int y, {Function x}) Function<B extends core.int>() l14 = m14; 713 List<T> Function(int y, {Function x}) Function<B extends core.int>() l14 =
714 m14;
629 // In checked mode, verifies the type. 715 // In checked mode, verifies the type.
630 x14 = m14; 716 x14 = m14;
631 x14 = confuse(m14); 717 x14 = confuse(m14);
632 } 718 }
633 } 719 }
634 720
635 /// List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() 721 /// List<T> Function(int x1, [List<T> x]) Function<B extends core.int>()
636 void testF15() { 722 void testF15() {
637 Expect.isTrue(f15 is F15); 723 Expect.isTrue(f15 is F15);
638 Expect.isTrue(confuse(f15) is F15); 724 Expect.isTrue(confuse(f15) is F15);
639 // In checked mode, verifies the type. 725 // In checked mode, verifies the type.
640 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() l15; 726 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() l15;
641 // The static function f15 sets `T` to `int`. 727 // The static function f15 sets `T` to `int`.
642 if (!tIsBool) { 728 if (!tIsBool) {
643 x15 = f15 as dynamic; 729 x15 = f15 as dynamic;
644 l15 = f15 as dynamic; 730 l15 = f15 as dynamic;
645 x15 = confuse(f15); 731 x15 = confuse(f15);
646 l15 = confuse(f15); 732 l15 = confuse(f15);
647 } 733 }
648 734
649 Expect.isTrue(m15 is F15); 735 Expect.isTrue(m15 is F15);
650 Expect.isTrue(m15 is List<T> Function(int x1, [List<T> x]) Function<B extend s core.int>()); 736 Expect.isTrue(m15 is List<T> Function(int x1,
737 [List<T> x]) Function<B extends core.int>());
651 Expect.isTrue(confuse(m15) is F15); 738 Expect.isTrue(confuse(m15) is F15);
652 // In checked mode, verifies the type. 739 // In checked mode, verifies the type.
653 x15 = m15; 740 x15 = m15;
654 l15 = m15; 741 l15 = m15;
655 x15 = confuse(m15); 742 x15 = confuse(m15);
656 l15 = confuse(m15); 743 l15 = confuse(m15);
657 if (!tIsBool) { 744 if (!tIsBool) {
658 Expect.isTrue(f15 is F15<int>); 745 Expect.isTrue(f15 is F15<int>);
659 Expect.isFalse(f15 is F15<bool>); 746 Expect.isFalse(f15 is F15<bool>);
660 Expect.isTrue(confuse(f15) is F15<int>); 747 Expect.isTrue(confuse(f15) is F15<int>);
661 Expect.isFalse(confuse(f15) is F15<bool>); 748 Expect.isFalse(confuse(f15) is F15<bool>);
662 Expect.equals(tIsDynamic, m15 is F15<bool>); 749 Expect.equals(tIsDynamic, m15 is F15<bool>);
663 Expect.equals(tIsDynamic, confuse(m15) is F15<bool>); 750 Expect.equals(tIsDynamic, confuse(m15) is F15<bool>);
664 } else { 751 } else {
665 if (inCheckedMode) { 752 if (inCheckedMode) {
666 Expect.throws(() { x15 = (f15 as dynamic); }); 753 Expect.throws(() {
667 Expect.throws(() { x15 = confuse(f15); }); 754 x15 = (f15 as dynamic);
668 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() l15 ; 755 });
669 Expect.throws(() { l15 = (f15 as dynamic); }); 756 Expect.throws(() {
670 Expect.throws(() { l15 = confuse(f15); }); 757 x15 = confuse(f15);
758 });
759 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>()
760 l15;
761 Expect.throws(() {
762 l15 = (f15 as dynamic);
763 });
764 Expect.throws(() {
765 l15 = confuse(f15);
766 });
671 } 767 }
672 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() l15 = m15; 768 List<T> Function(int x1, [List<T> x]) Function<B extends core.int>() l15 =
769 m15;
673 // In checked mode, verifies the type. 770 // In checked mode, verifies the type.
674 x15 = m15; 771 x15 = m15;
675 x15 = confuse(m15); 772 x15 = confuse(m15);
676 } 773 }
677 } 774 }
678 775
679 /// Function(Function x1) Function<B extends core.int>() 776 /// Function(Function x1) Function<B extends core.int>()
680 void testF16() { 777 void testF16() {
681 Expect.isTrue(f16 is F16); 778 Expect.isTrue(f16 is F16);
682 Expect.isTrue(confuse(f16) is F16); 779 Expect.isTrue(confuse(f16) is F16);
683 // In checked mode, verifies the type. 780 // In checked mode, verifies the type.
684 Function(Function x1) Function<B extends core.int>() l16; 781 Function(Function x1) Function<B extends core.int>() l16;
685 // The static function f16 sets `T` to `int`. 782 // The static function f16 sets `T` to `int`.
686 if (!tIsBool) { 783 if (!tIsBool) {
687 x16 = f16 as dynamic; 784 x16 = f16 as dynamic;
688 l16 = f16 as dynamic; 785 l16 = f16 as dynamic;
689 x16 = confuse(f16); 786 x16 = confuse(f16);
690 l16 = confuse(f16); 787 l16 = confuse(f16);
691 } 788 }
692 789
693 Expect.isTrue(m16 is F16); 790 Expect.isTrue(m16 is F16);
694 Expect.isTrue(m16 is Function(Function x1) Function<B extends core.int>()); 791 Expect.isTrue(m16 is Function(Function x1) Function<B extends core.int>());
695 Expect.isTrue(confuse(m16) is F16); 792 Expect.isTrue(confuse(m16) is F16);
696 // In checked mode, verifies the type. 793 // In checked mode, verifies the type.
697 x16 = m16; 794 x16 = m16;
698 l16 = m16; 795 l16 = m16;
699 x16 = confuse(m16); 796 x16 = confuse(m16);
700 l16 = confuse(m16); 797 l16 = confuse(m16);
701
702 } 798 }
703 799
704 /// Function(int x, [core.List<core.int> x1]) Function<B extends core.int>() 800 /// Function(int x, [core.List<core.int> x1]) Function<B extends core.int>()
705 void testF17() { 801 void testF17() {
706 Expect.isTrue(f17 is F17); 802 Expect.isTrue(f17 is F17);
707 Expect.isTrue(confuse(f17) is F17); 803 Expect.isTrue(confuse(f17) is F17);
708 // In checked mode, verifies the type. 804 // In checked mode, verifies the type.
709 Function(int x, [core.List<core.int> x1]) Function<B extends core.int>() l17 ; 805 Function(int x, [core.List<core.int> x1]) Function<B extends core.int>()
806 l17;
710 // The static function f17 sets `T` to `int`. 807 // The static function f17 sets `T` to `int`.
711 if (!tIsBool) { 808 if (!tIsBool) {
712 x17 = f17 as dynamic; 809 x17 = f17 as dynamic;
713 l17 = f17 as dynamic; 810 l17 = f17 as dynamic;
714 x17 = confuse(f17); 811 x17 = confuse(f17);
715 l17 = confuse(f17); 812 l17 = confuse(f17);
716 } 813 }
717 814
718 Expect.isTrue(m17 is F17); 815 Expect.isTrue(m17 is F17);
719 Expect.isTrue(m17 is Function(int x, [core.List<core.int> x1]) Function<B ex tends core.int>()); 816 Expect.isTrue(m17 is Function(int x,
817 [core.List<core.int> x1]) Function<B extends core.int>());
720 Expect.isTrue(confuse(m17) is F17); 818 Expect.isTrue(confuse(m17) is F17);
721 // In checked mode, verifies the type. 819 // In checked mode, verifies the type.
722 x17 = m17; 820 x17 = m17;
723 l17 = m17; 821 l17 = m17;
724 x17 = confuse(m17); 822 x17 = confuse(m17);
725 l17 = confuse(m17); 823 l17 = confuse(m17);
726
727 } 824 }
728 825
729 /// void Function(int x1, {int x}) Function<B extends core.int>() 826 /// void Function(int x1, {int x}) Function<B extends core.int>()
730 void testF18() { 827 void testF18() {
731 Expect.isTrue(f18 is F18); 828 Expect.isTrue(f18 is F18);
732 Expect.isTrue(confuse(f18) is F18); 829 Expect.isTrue(confuse(f18) is F18);
733 // In checked mode, verifies the type. 830 // In checked mode, verifies the type.
734 void Function(int x1, {int x}) Function<B extends core.int>() l18; 831 void Function(int x1, {int x}) Function<B extends core.int>() l18;
735 // The static function f18 sets `T` to `int`. 832 // The static function f18 sets `T` to `int`.
736 if (!tIsBool) { 833 if (!tIsBool) {
737 x18 = f18 as dynamic; 834 x18 = f18 as dynamic;
738 l18 = f18 as dynamic; 835 l18 = f18 as dynamic;
739 x18 = confuse(f18); 836 x18 = confuse(f18);
740 l18 = confuse(f18); 837 l18 = confuse(f18);
741 } 838 }
742 839
743 Expect.isTrue(m18 is F18); 840 Expect.isTrue(m18 is F18);
744 Expect.isTrue(m18 is void Function(int x1, {int x}) Function<B extends core. int>()); 841 Expect.isTrue(
842 m18 is void Function(int x1, {int x}) Function<B extends core.int>());
745 Expect.isTrue(confuse(m18) is F18); 843 Expect.isTrue(confuse(m18) is F18);
746 // In checked mode, verifies the type. 844 // In checked mode, verifies the type.
747 x18 = m18; 845 x18 = m18;
748 l18 = m18; 846 l18 = m18;
749 x18 = confuse(m18); 847 x18 = confuse(m18);
750 l18 = confuse(m18); 848 l18 = confuse(m18);
751
752 } 849 }
753 850
754 /// void Function([core.List<core.int> x]) Function<B extends core.int>() 851 /// void Function([core.List<core.int> x]) Function<B extends core.int>()
755 void testF19() { 852 void testF19() {
756 Expect.isTrue(f19 is F19); 853 Expect.isTrue(f19 is F19);
757 Expect.isTrue(confuse(f19) is F19); 854 Expect.isTrue(confuse(f19) is F19);
758 // In checked mode, verifies the type. 855 // In checked mode, verifies the type.
759 void Function([core.List<core.int> x]) Function<B extends core.int>() l19; 856 void Function([core.List<core.int> x]) Function<B extends core.int>() l19;
760 // The static function f19 sets `T` to `int`. 857 // The static function f19 sets `T` to `int`.
761 if (!tIsBool) { 858 if (!tIsBool) {
762 x19 = f19 as dynamic; 859 x19 = f19 as dynamic;
763 l19 = f19 as dynamic; 860 l19 = f19 as dynamic;
764 x19 = confuse(f19); 861 x19 = confuse(f19);
765 l19 = confuse(f19); 862 l19 = confuse(f19);
766 } 863 }
767 864
768 Expect.isTrue(m19 is F19); 865 Expect.isTrue(m19 is F19);
769 Expect.isTrue(m19 is void Function([core.List<core.int> x]) Function<B exten ds core.int>()); 866 Expect.isTrue(m19 is void Function(
867 [core.List<core.int> x]) Function<B extends core.int>());
770 Expect.isTrue(confuse(m19) is F19); 868 Expect.isTrue(confuse(m19) is F19);
771 // In checked mode, verifies the type. 869 // In checked mode, verifies the type.
772 x19 = m19; 870 x19 = m19;
773 l19 = m19; 871 l19 = m19;
774 x19 = confuse(m19); 872 x19 = confuse(m19);
775 l19 = confuse(m19); 873 l19 = confuse(m19);
776
777 } 874 }
778 875
779 /// int Function<A>(core.List<core.int> x) Function<B extends core.int>() 876 /// int Function<A>(core.List<core.int> x) Function<B extends core.int>()
780 void testF20() { 877 void testF20() {
781 Expect.isTrue(f20 is F20); 878 Expect.isTrue(f20 is F20);
782 Expect.isTrue(confuse(f20) is F20); 879 Expect.isTrue(confuse(f20) is F20);
783 // In checked mode, verifies the type. 880 // In checked mode, verifies the type.
784 int Function<A>(core.List<core.int> x) Function<B extends core.int>() l20; 881 int Function<A>(core.List<core.int> x) Function<B extends core.int>() l20;
785 // The static function f20 sets `T` to `int`. 882 // The static function f20 sets `T` to `int`.
786 if (!tIsBool) { 883 if (!tIsBool) {
787 x20 = f20 as dynamic; 884 x20 = f20 as dynamic;
788 l20 = f20 as dynamic; 885 l20 = f20 as dynamic;
789 x20 = confuse(f20); 886 x20 = confuse(f20);
790 l20 = confuse(f20); 887 l20 = confuse(f20);
791 } 888 }
792 889
793 Expect.isTrue(m20 is F20); 890 Expect.isTrue(m20 is F20);
794 Expect.isTrue(m20 is int Function<A>(core.List<core.int> x) Function<B exten ds core.int>()); 891 Expect.isTrue(m20 is int Function<A>(
892 core.List<core.int> x) Function<B extends core.int>());
795 Expect.isTrue(confuse(m20) is F20); 893 Expect.isTrue(confuse(m20) is F20);
796 // In checked mode, verifies the type. 894 // In checked mode, verifies the type.
797 x20 = m20; 895 x20 = m20;
798 l20 = m20; 896 l20 = m20;
799 x20 = confuse(m20); 897 x20 = confuse(m20);
800 l20 = confuse(m20); 898 l20 = confuse(m20);
801
802 } 899 }
803 900
804 /// core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>() 901 /// core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>()
805 void testF21() { 902 void testF21() {
806 Expect.isTrue(f21 is F21); 903 Expect.isTrue(f21 is F21);
807 Expect.isTrue(confuse(f21) is F21); 904 Expect.isTrue(confuse(f21) is F21);
808 // In checked mode, verifies the type. 905 // In checked mode, verifies the type.
809 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>() l2 1; 906 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>()
907 l21;
810 // The static function f21 sets `T` to `int`. 908 // The static function f21 sets `T` to `int`.
811 if (!tIsBool) { 909 if (!tIsBool) {
812 x21 = f21 as dynamic; 910 x21 = f21 as dynamic;
813 l21 = f21 as dynamic; 911 l21 = f21 as dynamic;
814 x21 = confuse(f21); 912 x21 = confuse(f21);
815 l21 = confuse(f21); 913 l21 = confuse(f21);
816 } 914 }
817 915
818 Expect.isTrue(m21 is F21); 916 Expect.isTrue(m21 is F21);
819 Expect.isTrue(m21 is core.List<core.int> Function<A>(List<T> x) Function<B e xtends core.int>()); 917 Expect.isTrue(m21 is core.List<core.int> Function<A>(
918 List<T> x) Function<B extends core.int>());
820 Expect.isTrue(confuse(m21) is F21); 919 Expect.isTrue(confuse(m21) is F21);
821 // In checked mode, verifies the type. 920 // In checked mode, verifies the type.
822 x21 = m21; 921 x21 = m21;
823 l21 = m21; 922 l21 = m21;
824 x21 = confuse(m21); 923 x21 = confuse(m21);
825 l21 = confuse(m21); 924 l21 = confuse(m21);
826 if (!tIsBool) { 925 if (!tIsBool) {
827 Expect.isTrue(f21 is F21<int>); 926 Expect.isTrue(f21 is F21<int>);
828 Expect.isFalse(f21 is F21<bool>); 927 Expect.isFalse(f21 is F21<bool>);
829 Expect.isTrue(confuse(f21) is F21<int>); 928 Expect.isTrue(confuse(f21) is F21<int>);
830 Expect.isFalse(confuse(f21) is F21<bool>); 929 Expect.isFalse(confuse(f21) is F21<bool>);
831 Expect.equals(tIsDynamic, m21 is F21<bool>); 930 Expect.equals(tIsDynamic, m21 is F21<bool>);
832 Expect.equals(tIsDynamic, confuse(m21) is F21<bool>); 931 Expect.equals(tIsDynamic, confuse(m21) is F21<bool>);
833 } else { 932 } else {
834 if (inCheckedMode) { 933 if (inCheckedMode) {
835 Expect.throws(() { x21 = (f21 as dynamic); }); 934 Expect.throws(() {
836 Expect.throws(() { x21 = confuse(f21); }); 935 x21 = (f21 as dynamic);
837 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>( ) l21; 936 });
838 Expect.throws(() { l21 = (f21 as dynamic); }); 937 Expect.throws(() {
839 Expect.throws(() { l21 = confuse(f21); }); 938 x21 = confuse(f21);
939 });
940 core.List<core.int> Function<A>(
941 List<T> x) Function<B extends core.int>() l21;
942 Expect.throws(() {
943 l21 = (f21 as dynamic);
944 });
945 Expect.throws(() {
946 l21 = confuse(f21);
947 });
840 } 948 }
841 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>() l21 = m21; 949 core.List<core.int> Function<A>(List<T> x) Function<B extends core.int>()
950 l21 = m21;
842 // In checked mode, verifies the type. 951 // In checked mode, verifies the type.
843 x21 = m21; 952 x21 = m21;
844 x21 = confuse(m21); 953 x21 = confuse(m21);
845 } 954 }
846 } 955 }
847 956
848 /// A Function<A>() Function<B extends core.int>() 957 /// A Function<A>() Function<B extends core.int>()
849 void testF22() { 958 void testF22() {
850 Expect.isTrue(f22 is F22); 959 Expect.isTrue(f22 is F22);
851 Expect.isTrue(confuse(f22) is F22); 960 Expect.isTrue(confuse(f22) is F22);
852 // In checked mode, verifies the type. 961 // In checked mode, verifies the type.
853 A Function<A>() Function<B extends core.int>() l22; 962 A Function<A>() Function<B extends core.int>() l22;
854 // The static function f22 sets `T` to `int`. 963 // The static function f22 sets `T` to `int`.
855 if (!tIsBool) { 964 if (!tIsBool) {
856 x22 = f22 as dynamic; 965 x22 = f22 as dynamic;
857 l22 = f22 as dynamic; 966 l22 = f22 as dynamic;
858 x22 = confuse(f22); 967 x22 = confuse(f22);
859 l22 = confuse(f22); 968 l22 = confuse(f22);
860 } 969 }
861 970
862 Expect.isTrue(m22 is F22); 971 Expect.isTrue(m22 is F22);
863 Expect.isTrue(m22 is A Function<A>() Function<B extends core.int>()); 972 Expect.isTrue(m22 is A Function<A>() Function<B extends core.int>());
864 Expect.isTrue(confuse(m22) is F22); 973 Expect.isTrue(confuse(m22) is F22);
865 // In checked mode, verifies the type. 974 // In checked mode, verifies the type.
866 x22 = m22; 975 x22 = m22;
867 l22 = m22; 976 l22 = m22;
868 x22 = confuse(m22); 977 x22 = confuse(m22);
869 l22 = confuse(m22); 978 l22 = confuse(m22);
870
871 } 979 }
872 980
873 /// B Function(List<T> x) Function<B extends core.int>() 981 /// B Function(List<T> x) Function<B extends core.int>()
874 void testF23() { 982 void testF23() {
875 Expect.isTrue(f23 is F23); 983 Expect.isTrue(f23 is F23);
876 Expect.isTrue(confuse(f23) is F23); 984 Expect.isTrue(confuse(f23) is F23);
877 // In checked mode, verifies the type. 985 // In checked mode, verifies the type.
878 B Function(List<T> x) Function<B extends core.int>() l23; 986 B Function(List<T> x) Function<B extends core.int>() l23;
879 // The static function f23 sets `T` to `int`. 987 // The static function f23 sets `T` to `int`.
880 if (!tIsBool) { 988 if (!tIsBool) {
(...skipping 13 matching lines...) Expand all
894 l23 = confuse(m23); 1002 l23 = confuse(m23);
895 if (!tIsBool) { 1003 if (!tIsBool) {
896 Expect.isTrue(f23 is F23<int>); 1004 Expect.isTrue(f23 is F23<int>);
897 Expect.isFalse(f23 is F23<bool>); 1005 Expect.isFalse(f23 is F23<bool>);
898 Expect.isTrue(confuse(f23) is F23<int>); 1006 Expect.isTrue(confuse(f23) is F23<int>);
899 Expect.isFalse(confuse(f23) is F23<bool>); 1007 Expect.isFalse(confuse(f23) is F23<bool>);
900 Expect.equals(tIsDynamic, m23 is F23<bool>); 1008 Expect.equals(tIsDynamic, m23 is F23<bool>);
901 Expect.equals(tIsDynamic, confuse(m23) is F23<bool>); 1009 Expect.equals(tIsDynamic, confuse(m23) is F23<bool>);
902 } else { 1010 } else {
903 if (inCheckedMode) { 1011 if (inCheckedMode) {
904 Expect.throws(() { x23 = (f23 as dynamic); }); 1012 Expect.throws(() {
905 Expect.throws(() { x23 = confuse(f23); }); 1013 x23 = (f23 as dynamic);
1014 });
1015 Expect.throws(() {
1016 x23 = confuse(f23);
1017 });
906 B Function(List<T> x) Function<B extends core.int>() l23; 1018 B Function(List<T> x) Function<B extends core.int>() l23;
907 Expect.throws(() { l23 = (f23 as dynamic); }); 1019 Expect.throws(() {
908 Expect.throws(() { l23 = confuse(f23); }); 1020 l23 = (f23 as dynamic);
1021 });
1022 Expect.throws(() {
1023 l23 = confuse(f23);
1024 });
909 } 1025 }
910 B Function(List<T> x) Function<B extends core.int>() l23 = m23; 1026 B Function(List<T> x) Function<B extends core.int>() l23 = m23;
911 // In checked mode, verifies the type. 1027 // In checked mode, verifies the type.
912 x23 = m23; 1028 x23 = m23;
913 x23 = confuse(m23); 1029 x23 = confuse(m23);
914 } 1030 }
915 } 1031 }
916
917
918 } 1032 }
919 1033
920 void main() { 1034 void main() {
921 new U46().runTests(); 1035 new U46().runTests();
922 new U46<int>(tIsInt: true).runTests(); 1036 new U46<int>(tIsInt: true).runTests();
923 new U46<bool>(tIsBool: true).runTests(); 1037 new U46<bool>(tIsBool: true).runTests();
924 } 1038 }
925
OLDNEW
« no previous file with comments | « tests/language/function_type/function_type45_test.dart ('k') | tests/language/function_type/function_type47_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698