OLD | NEW |
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 typedef F0<T> = Function Function(int y, {Function x}); |
23 bool result = false; | 23 typedef F1<T> = core.List<core.int> Function(int x0, {int x}); |
24 assert(result = true); | 24 typedef F2<T> = List<T> Function(int x0, {List<T> x}); |
25 return result; | 25 typedef F3<T> = void Function({core.List<core.int> x}); |
26 })(); | 26 typedef F4<T> = int Function(int y, [int x]) Function(int x); |
27 | 27 typedef F5<T> = int Function(int x2, [List<Function> x3]) Function(int x); |
28 typedef F0<T> | 28 typedef F6<T> = int Function(int x1, {List<T> x}) Function(int x); |
29 = Function Function(int y, {Function x}); | 29 typedef F7<T> = Function Function(List<Function> x) Function(int x); |
30 typedef F1<T> | 30 typedef F8<T> = Function Function(int y, [List<T> x]) Function(int x); |
31 = core.List<core.int> Function(int x0, {int x}); | 31 typedef F9<T> = List<Function> Function([Function x1]) Function(int x); |
32 typedef F2<T> | 32 typedef F10<T> = List<Function> Function({core.List<core.int> x}) Function( |
33 = List<T> Function(int x0, {List<T> x}); | 33 int x); |
34 typedef F3<T> | 34 typedef F11<T> = core.List<core.int> Function(int y, {int x}) Function(int x); |
35 = void Function({core.List<core.int> x}); | 35 typedef F12<T> = core.List<core.int> Function(int x1, [core.List<core.int> x]) |
36 typedef F4<T> | 36 Function(int x); |
37 = int Function(int y, [int x]) Function(int x); | 37 typedef F13<T> = List<T> Function(int x1) Function(int x); |
38 typedef F5<T> | 38 typedef F14<T> = List<T> Function(int x, [List<Function> x1]) Function(int x); |
39 = int Function(int x2, [List<Function> x3]) Function(int x); | 39 typedef F15<T> = List<T> Function(int y, {List<T> x}) Function(int x); |
40 typedef F6<T> | 40 typedef F16<T> = Function([List<Function> x]) Function(int x); |
41 = int Function(int x1, {List<T> x}) Function(int x); | 41 typedef F17<T> = Function(List<T> x1) Function(int x); |
42 typedef F7<T> | 42 typedef F18<T> = void Function(int x2, [Function x3]) Function(int x); |
43 = Function Function(List<Function> x) Function(int x); | 43 typedef F19<T> = void Function(int x1, {core.List<core.int> x}) Function(int x); |
44 typedef F8<T> | 44 typedef F20<T> = Function Function<A>(core.List<core.int> x) Function(int x); |
45 = Function Function(int y, [List<T> x]) Function(int x); | 45 typedef F21<T> = List<T> Function<A>(List<T> x) Function(int x); |
46 typedef F9<T> | 46 typedef F22<T> = List<A> Function<A>() Function(int x); |
47 = List<Function> Function([Function x1]) Function(int x); | |
48 typedef F10<T> | |
49 = List<Function> Function({core.List<core.int> x}) Function(int x); | |
50 typedef F11<T> | |
51 = core.List<core.int> Function(int y, {int x}) Function(int x); | |
52 typedef F12<T> | |
53 = core.List<core.int> Function(int x1, [core.List<core.int> x]) Function( | |
54 int x); | |
55 typedef F13<T> | |
56 = List<T> Function(int x1) Function(int x); | |
57 typedef F14<T> | |
58 = List<T> Function(int x, [List<Function> x1]) Function(int x); | |
59 typedef F15<T> | |
60 = List<T> Function(int y, {List<T> x}) Function(int x); | |
61 typedef F16<T> | |
62 = Function([List<Function> x]) Function(int x); | |
63 typedef F17<T> | |
64 = Function(List<T> x1) Function(int x); | |
65 typedef F18<T> | |
66 = void Function(int x2, [Function x3]) Function(int x); | |
67 typedef F19<T> | |
68 = void Function(int x1, {core.List<core.int> x}) Function(int x); | |
69 typedef F20<T> | |
70 = Function Function<A>(core.List<core.int> x) Function(int x); | |
71 typedef F21<T> | |
72 = List<T> Function<A>(List<T> x) Function(int x); | |
73 typedef F22<T> | |
74 = List<A> Function<A>() Function(int x); | |
75 | 47 |
76 Function f0(int y, {Function x}) => null; | 48 Function f0(int y, {Function x}) => null; |
77 core.List<core.int> f1(int x0, {int x}) => null; | 49 core.List<core.int> f1(int x0, {int x}) => null; |
78 List<int> f2(int x0, {List<int> x}) => null; | 50 List<int> f2(int x0, {List<int> x}) => null; |
79 void f3({core.List<core.int> x}) => null; | 51 void f3({core.List<core.int> x}) => null; |
80 int Function(int y, [int x]) f4(int x) => null; | 52 int Function(int y, [int x]) f4(int x) => null; |
81 int Function(int x0, [List<Function> x1]) f5(int x) => null; | 53 int Function(int x0, [List<Function> x1]) f5(int x) => null; |
82 int Function(int x0, {List<int> x}) f6(int x) => null; | 54 int Function(int x0, {List<int> x}) f6(int x) => null; |
83 Function Function(List<Function> x) f7(int x) => null; | 55 Function Function(List<Function> x) f7(int x) => null; |
84 Function Function(int y, [List<int> x]) f8(int x) => null; | 56 Function Function(int y, [List<int> x]) f8(int x) => null; |
(...skipping 168 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
253 x2 = confuse(m2); | 225 x2 = confuse(m2); |
254 l2 = confuse(m2); | 226 l2 = confuse(m2); |
255 if (!tIsBool) { | 227 if (!tIsBool) { |
256 Expect.isTrue(f2 is F2<int>); | 228 Expect.isTrue(f2 is F2<int>); |
257 Expect.isFalse(f2 is F2<bool>); | 229 Expect.isFalse(f2 is F2<bool>); |
258 Expect.isTrue(confuse(f2) is F2<int>); | 230 Expect.isTrue(confuse(f2) is F2<int>); |
259 Expect.isFalse(confuse(f2) is F2<bool>); | 231 Expect.isFalse(confuse(f2) is F2<bool>); |
260 Expect.equals(tIsDynamic, m2 is F2<bool>); | 232 Expect.equals(tIsDynamic, m2 is F2<bool>); |
261 Expect.equals(tIsDynamic, confuse(m2) is F2<bool>); | 233 Expect.equals(tIsDynamic, confuse(m2) is F2<bool>); |
262 } else { | 234 } else { |
263 if (inCheckedMode) { | 235 if (typeAssertionsEnabled) { |
264 Expect.throws(() { | 236 Expect.throws(() { |
265 x2 = (f2 as dynamic); | 237 x2 = (f2 as dynamic); |
266 }); | 238 }); |
267 Expect.throws(() { | 239 Expect.throws(() { |
268 x2 = confuse(f2); | 240 x2 = confuse(f2); |
269 }); | 241 }); |
270 List<T> Function(int x0, {List<T> x}) l2; | 242 List<T> Function(int x0, {List<T> x}) l2; |
271 Expect.throws(() { | 243 Expect.throws(() { |
272 l2 = (f2 as dynamic); | 244 l2 = (f2 as dynamic); |
273 }); | 245 }); |
(...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
378 x6 = confuse(m6); | 350 x6 = confuse(m6); |
379 l6 = confuse(m6); | 351 l6 = confuse(m6); |
380 if (!tIsBool) { | 352 if (!tIsBool) { |
381 Expect.isTrue(f6 is F6<int>); | 353 Expect.isTrue(f6 is F6<int>); |
382 Expect.isFalse(f6 is F6<bool>); | 354 Expect.isFalse(f6 is F6<bool>); |
383 Expect.isTrue(confuse(f6) is F6<int>); | 355 Expect.isTrue(confuse(f6) is F6<int>); |
384 Expect.isFalse(confuse(f6) is F6<bool>); | 356 Expect.isFalse(confuse(f6) is F6<bool>); |
385 Expect.equals(tIsDynamic, m6 is F6<bool>); | 357 Expect.equals(tIsDynamic, m6 is F6<bool>); |
386 Expect.equals(tIsDynamic, confuse(m6) is F6<bool>); | 358 Expect.equals(tIsDynamic, confuse(m6) is F6<bool>); |
387 } else { | 359 } else { |
388 if (inCheckedMode) { | 360 if (typeAssertionsEnabled) { |
389 Expect.throws(() { | 361 Expect.throws(() { |
390 x6 = (f6 as dynamic); | 362 x6 = (f6 as dynamic); |
391 }); | 363 }); |
392 Expect.throws(() { | 364 Expect.throws(() { |
393 x6 = confuse(f6); | 365 x6 = confuse(f6); |
394 }); | 366 }); |
395 int Function(int x1, {List<T> x}) Function(int x) l6; | 367 int Function(int x1, {List<T> x}) Function(int x) l6; |
396 Expect.throws(() { | 368 Expect.throws(() { |
397 l6 = (f6 as dynamic); | 369 l6 = (f6 as dynamic); |
398 }); | 370 }); |
(...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
454 x8 = confuse(m8); | 426 x8 = confuse(m8); |
455 l8 = confuse(m8); | 427 l8 = confuse(m8); |
456 if (!tIsBool) { | 428 if (!tIsBool) { |
457 Expect.isTrue(f8 is F8<int>); | 429 Expect.isTrue(f8 is F8<int>); |
458 Expect.isFalse(f8 is F8<bool>); | 430 Expect.isFalse(f8 is F8<bool>); |
459 Expect.isTrue(confuse(f8) is F8<int>); | 431 Expect.isTrue(confuse(f8) is F8<int>); |
460 Expect.isFalse(confuse(f8) is F8<bool>); | 432 Expect.isFalse(confuse(f8) is F8<bool>); |
461 Expect.equals(tIsDynamic, m8 is F8<bool>); | 433 Expect.equals(tIsDynamic, m8 is F8<bool>); |
462 Expect.equals(tIsDynamic, confuse(m8) is F8<bool>); | 434 Expect.equals(tIsDynamic, confuse(m8) is F8<bool>); |
463 } else { | 435 } else { |
464 if (inCheckedMode) { | 436 if (typeAssertionsEnabled) { |
465 Expect.throws(() { | 437 Expect.throws(() { |
466 x8 = (f8 as dynamic); | 438 x8 = (f8 as dynamic); |
467 }); | 439 }); |
468 Expect.throws(() { | 440 Expect.throws(() { |
469 x8 = confuse(f8); | 441 x8 = confuse(f8); |
470 }); | 442 }); |
471 Function Function(int y, [List<T> x]) Function(int x) l8; | 443 Function Function(int y, [List<T> x]) Function(int x) l8; |
472 Expect.throws(() { | 444 Expect.throws(() { |
473 l8 = (f8 as dynamic); | 445 l8 = (f8 as dynamic); |
474 }); | 446 }); |
(...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
515 List<Function> Function({core.List<core.int> x}) Function(int x) l10; | 487 List<Function> Function({core.List<core.int> x}) Function(int x) l10; |
516 // The static function f10 sets `T` to `int`. | 488 // The static function f10 sets `T` to `int`. |
517 if (!tIsBool) { | 489 if (!tIsBool) { |
518 x10 = f10 as dynamic; | 490 x10 = f10 as dynamic; |
519 l10 = f10 as dynamic; | 491 l10 = f10 as dynamic; |
520 x10 = confuse(f10); | 492 x10 = confuse(f10); |
521 l10 = confuse(f10); | 493 l10 = confuse(f10); |
522 } | 494 } |
523 | 495 |
524 Expect.isTrue(m10 is F10); | 496 Expect.isTrue(m10 is F10); |
525 Expect.isTrue(m10 is List<Function> Function( | 497 Expect.isTrue(m10 is List<Function> Function({core.List<core.int> x}) |
526 {core.List<core.int> x}) Function(int x)); | 498 Function(int x)); |
527 Expect.isTrue(confuse(m10) is F10); | 499 Expect.isTrue(confuse(m10) is F10); |
528 // In checked mode, verifies the type. | 500 // In checked mode, verifies the type. |
529 x10 = m10; | 501 x10 = m10; |
530 l10 = m10; | 502 l10 = m10; |
531 x10 = confuse(m10); | 503 x10 = confuse(m10); |
532 l10 = confuse(m10); | 504 l10 = confuse(m10); |
533 } | 505 } |
534 | 506 |
535 /// core.List<core.int> Function(int y, {int x}) Function(int x) | 507 /// core.List<core.int> Function(int y, {int x}) Function(int x) |
536 void testF11() { | 508 void testF11() { |
(...skipping 30 matching lines...) Expand all Loading... |
567 // The static function f12 sets `T` to `int`. | 539 // The static function f12 sets `T` to `int`. |
568 if (!tIsBool) { | 540 if (!tIsBool) { |
569 x12 = f12 as dynamic; | 541 x12 = f12 as dynamic; |
570 l12 = f12 as dynamic; | 542 l12 = f12 as dynamic; |
571 x12 = confuse(f12); | 543 x12 = confuse(f12); |
572 l12 = confuse(f12); | 544 l12 = confuse(f12); |
573 } | 545 } |
574 | 546 |
575 Expect.isTrue(m12 is F12); | 547 Expect.isTrue(m12 is F12); |
576 Expect.isTrue(m12 is core.List<core.int> Function(int x1, | 548 Expect.isTrue(m12 is core.List<core.int> Function(int x1, |
577 [core.List<core.int> x]) Function(int x)); | 549 [core.List<core.int> x]) |
| 550 Function(int x)); |
578 Expect.isTrue(confuse(m12) is F12); | 551 Expect.isTrue(confuse(m12) is F12); |
579 // In checked mode, verifies the type. | 552 // In checked mode, verifies the type. |
580 x12 = m12; | 553 x12 = m12; |
581 l12 = m12; | 554 l12 = m12; |
582 x12 = confuse(m12); | 555 x12 = confuse(m12); |
583 l12 = confuse(m12); | 556 l12 = confuse(m12); |
584 } | 557 } |
585 | 558 |
586 /// List<T> Function(int x1) Function(int x) | 559 /// List<T> Function(int x1) Function(int x) |
587 void testF13() { | 560 void testF13() { |
(...skipping 18 matching lines...) Expand all Loading... |
606 x13 = confuse(m13); | 579 x13 = confuse(m13); |
607 l13 = confuse(m13); | 580 l13 = confuse(m13); |
608 if (!tIsBool) { | 581 if (!tIsBool) { |
609 Expect.isTrue(f13 is F13<int>); | 582 Expect.isTrue(f13 is F13<int>); |
610 Expect.isFalse(f13 is F13<bool>); | 583 Expect.isFalse(f13 is F13<bool>); |
611 Expect.isTrue(confuse(f13) is F13<int>); | 584 Expect.isTrue(confuse(f13) is F13<int>); |
612 Expect.isFalse(confuse(f13) is F13<bool>); | 585 Expect.isFalse(confuse(f13) is F13<bool>); |
613 Expect.equals(tIsDynamic, m13 is F13<bool>); | 586 Expect.equals(tIsDynamic, m13 is F13<bool>); |
614 Expect.equals(tIsDynamic, confuse(m13) is F13<bool>); | 587 Expect.equals(tIsDynamic, confuse(m13) is F13<bool>); |
615 } else { | 588 } else { |
616 if (inCheckedMode) { | 589 if (typeAssertionsEnabled) { |
617 Expect.throws(() { | 590 Expect.throws(() { |
618 x13 = (f13 as dynamic); | 591 x13 = (f13 as dynamic); |
619 }); | 592 }); |
620 Expect.throws(() { | 593 Expect.throws(() { |
621 x13 = confuse(f13); | 594 x13 = confuse(f13); |
622 }); | 595 }); |
623 List<T> Function(int x1) Function(int x) l13; | 596 List<T> Function(int x1) Function(int x) l13; |
624 Expect.throws(() { | 597 Expect.throws(() { |
625 l13 = (f13 as dynamic); | 598 l13 = (f13 as dynamic); |
626 }); | 599 }); |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
659 x14 = confuse(m14); | 632 x14 = confuse(m14); |
660 l14 = confuse(m14); | 633 l14 = confuse(m14); |
661 if (!tIsBool) { | 634 if (!tIsBool) { |
662 Expect.isTrue(f14 is F14<int>); | 635 Expect.isTrue(f14 is F14<int>); |
663 Expect.isFalse(f14 is F14<bool>); | 636 Expect.isFalse(f14 is F14<bool>); |
664 Expect.isTrue(confuse(f14) is F14<int>); | 637 Expect.isTrue(confuse(f14) is F14<int>); |
665 Expect.isFalse(confuse(f14) is F14<bool>); | 638 Expect.isFalse(confuse(f14) is F14<bool>); |
666 Expect.equals(tIsDynamic, m14 is F14<bool>); | 639 Expect.equals(tIsDynamic, m14 is F14<bool>); |
667 Expect.equals(tIsDynamic, confuse(m14) is F14<bool>); | 640 Expect.equals(tIsDynamic, confuse(m14) is F14<bool>); |
668 } else { | 641 } else { |
669 if (inCheckedMode) { | 642 if (typeAssertionsEnabled) { |
670 Expect.throws(() { | 643 Expect.throws(() { |
671 x14 = (f14 as dynamic); | 644 x14 = (f14 as dynamic); |
672 }); | 645 }); |
673 Expect.throws(() { | 646 Expect.throws(() { |
674 x14 = confuse(f14); | 647 x14 = confuse(f14); |
675 }); | 648 }); |
676 List<T> Function(int x, [List<Function> x1]) Function(int x) l14; | 649 List<T> Function(int x, [List<Function> x1]) Function(int x) l14; |
677 Expect.throws(() { | 650 Expect.throws(() { |
678 l14 = (f14 as dynamic); | 651 l14 = (f14 as dynamic); |
679 }); | 652 }); |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
711 x15 = confuse(m15); | 684 x15 = confuse(m15); |
712 l15 = confuse(m15); | 685 l15 = confuse(m15); |
713 if (!tIsBool) { | 686 if (!tIsBool) { |
714 Expect.isTrue(f15 is F15<int>); | 687 Expect.isTrue(f15 is F15<int>); |
715 Expect.isFalse(f15 is F15<bool>); | 688 Expect.isFalse(f15 is F15<bool>); |
716 Expect.isTrue(confuse(f15) is F15<int>); | 689 Expect.isTrue(confuse(f15) is F15<int>); |
717 Expect.isFalse(confuse(f15) is F15<bool>); | 690 Expect.isFalse(confuse(f15) is F15<bool>); |
718 Expect.equals(tIsDynamic, m15 is F15<bool>); | 691 Expect.equals(tIsDynamic, m15 is F15<bool>); |
719 Expect.equals(tIsDynamic, confuse(m15) is F15<bool>); | 692 Expect.equals(tIsDynamic, confuse(m15) is F15<bool>); |
720 } else { | 693 } else { |
721 if (inCheckedMode) { | 694 if (typeAssertionsEnabled) { |
722 Expect.throws(() { | 695 Expect.throws(() { |
723 x15 = (f15 as dynamic); | 696 x15 = (f15 as dynamic); |
724 }); | 697 }); |
725 Expect.throws(() { | 698 Expect.throws(() { |
726 x15 = confuse(f15); | 699 x15 = confuse(f15); |
727 }); | 700 }); |
728 List<T> Function(int y, {List<T> x}) Function(int x) l15; | 701 List<T> Function(int y, {List<T> x}) Function(int x) l15; |
729 Expect.throws(() { | 702 Expect.throws(() { |
730 l15 = (f15 as dynamic); | 703 l15 = (f15 as dynamic); |
731 }); | 704 }); |
(...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
787 x17 = confuse(m17); | 760 x17 = confuse(m17); |
788 l17 = confuse(m17); | 761 l17 = confuse(m17); |
789 if (!tIsBool) { | 762 if (!tIsBool) { |
790 Expect.isTrue(f17 is F17<int>); | 763 Expect.isTrue(f17 is F17<int>); |
791 Expect.isFalse(f17 is F17<bool>); | 764 Expect.isFalse(f17 is F17<bool>); |
792 Expect.isTrue(confuse(f17) is F17<int>); | 765 Expect.isTrue(confuse(f17) is F17<int>); |
793 Expect.isFalse(confuse(f17) is F17<bool>); | 766 Expect.isFalse(confuse(f17) is F17<bool>); |
794 Expect.equals(tIsDynamic, m17 is F17<bool>); | 767 Expect.equals(tIsDynamic, m17 is F17<bool>); |
795 Expect.equals(tIsDynamic, confuse(m17) is F17<bool>); | 768 Expect.equals(tIsDynamic, confuse(m17) is F17<bool>); |
796 } else { | 769 } else { |
797 if (inCheckedMode) { | 770 if (typeAssertionsEnabled) { |
798 Expect.throws(() { | 771 Expect.throws(() { |
799 x17 = (f17 as dynamic); | 772 x17 = (f17 as dynamic); |
800 }); | 773 }); |
801 Expect.throws(() { | 774 Expect.throws(() { |
802 x17 = confuse(f17); | 775 x17 = confuse(f17); |
803 }); | 776 }); |
804 Function(List<T> x1) Function(int x) l17; | 777 Function(List<T> x1) Function(int x) l17; |
805 Expect.throws(() { | 778 Expect.throws(() { |
806 l17 = (f17 as dynamic); | 779 l17 = (f17 as dynamic); |
807 }); | 780 }); |
(...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
913 x21 = confuse(m21); | 886 x21 = confuse(m21); |
914 l21 = confuse(m21); | 887 l21 = confuse(m21); |
915 if (!tIsBool) { | 888 if (!tIsBool) { |
916 Expect.isTrue(f21 is F21<int>); | 889 Expect.isTrue(f21 is F21<int>); |
917 Expect.isFalse(f21 is F21<bool>); | 890 Expect.isFalse(f21 is F21<bool>); |
918 Expect.isTrue(confuse(f21) is F21<int>); | 891 Expect.isTrue(confuse(f21) is F21<int>); |
919 Expect.isFalse(confuse(f21) is F21<bool>); | 892 Expect.isFalse(confuse(f21) is F21<bool>); |
920 Expect.equals(tIsDynamic, m21 is F21<bool>); | 893 Expect.equals(tIsDynamic, m21 is F21<bool>); |
921 Expect.equals(tIsDynamic, confuse(m21) is F21<bool>); | 894 Expect.equals(tIsDynamic, confuse(m21) is F21<bool>); |
922 } else { | 895 } else { |
923 if (inCheckedMode) { | 896 if (typeAssertionsEnabled) { |
924 Expect.throws(() { | 897 Expect.throws(() { |
925 x21 = (f21 as dynamic); | 898 x21 = (f21 as dynamic); |
926 }); | 899 }); |
927 Expect.throws(() { | 900 Expect.throws(() { |
928 x21 = confuse(f21); | 901 x21 = confuse(f21); |
929 }); | 902 }); |
930 List<T> Function<A>(List<T> x) Function(int x) l21; | 903 List<T> Function<A>(List<T> x) Function(int x) l21; |
931 Expect.throws(() { | 904 Expect.throws(() { |
932 l21 = (f21 as dynamic); | 905 l21 = (f21 as dynamic); |
933 }); | 906 }); |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
965 x22 = confuse(m22); | 938 x22 = confuse(m22); |
966 l22 = confuse(m22); | 939 l22 = confuse(m22); |
967 } | 940 } |
968 } | 941 } |
969 | 942 |
970 void main() { | 943 void main() { |
971 new U77().runTests(); | 944 new U77().runTests(); |
972 new U77<int>(tIsInt: true).runTests(); | 945 new U77<int>(tIsInt: true).runTests(); |
973 new U77<bool>(tIsBool: true).runTests(); | 946 new U77<bool>(tIsBool: true).runTests(); |
974 } | 947 } |
OLD | NEW |