OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 library subtype_test; | 5 library subtype_test; |
6 | 6 |
7 import 'package:expect/expect.dart'; | 7 import 'package:expect/expect.dart'; |
8 import 'package:async_helper/async_helper.dart'; | 8 import 'package:async_helper/async_helper.dart'; |
9 import 'type_test_helper.dart'; | 9 import 'type_test_helper.dart'; |
10 import 'package:compiler/src/dart_types.dart'; | 10 import 'package:compiler/implementation/dart_types.dart'; |
11 import "package:compiler/src/elements/elements.dart" | 11 import "package:compiler/implementation/elements/elements.dart" |
12 show Element, ClassElement, TypedefElement; | 12 show Element, ClassElement, TypedefElement; |
13 | 13 |
14 void main() { | 14 void main() { |
15 asyncTest(() => TypeEnvironment.create(r""" | 15 asyncTest(() => TypeEnvironment.create(r""" |
16 class A<AT, AS> {} | 16 class A<AT, AS> {} |
17 typedef BS B<BT, BS>(BT t); | 17 typedef BS B<BT, BS>(BT t); |
18 class C<CT, CS> extends A<CS, CT> {} | 18 class C<CT, CS> extends A<CS, CT> {} |
19 class X {} | 19 class X {} |
20 class Y {} | 20 class Y {} |
21 class Z {} | 21 class Z {} |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
63 [void_, dynamic_, | 63 [void_, dynamic_, |
64 A_raw, A_this, A_X_Y, A_Y_X, AT, AS, | 64 A_raw, A_this, A_X_Y, A_Y_X, AT, AS, |
65 B_raw, B_this, B_X_Y, B_Y_X, BT, BS, | 65 B_raw, B_this, B_X_Y, B_Y_X, BT, BS, |
66 C_raw, C_this, CT, CS, | 66 C_raw, C_this, CT, CS, |
67 X, Y, Z, | 67 X, Y, Z, |
68 B_this_alias, B_Y_X_alias, B_X_Y_alias, | 68 B_this_alias, B_Y_X_alias, B_X_Y_alias, |
69 ], | 69 ], |
70 Types.sorted(types)); | 70 Types.sorted(types)); |
71 })); | 71 })); |
72 } | 72 } |
OLD | NEW |