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 '../../../sdk/lib/_internal/compiler/implementation/dart_types.dart'; | 10 import 'package:compiler/implementation/dart_types.dart'; |
11 import "../../../sdk/lib/_internal/compiler/implementation/elements/elements.dar
t" | 11 import "package:compiler/implementation/elements/elements.dart" |
12 show Element, ClassElement; | 12 show Element, ClassElement; |
13 import '../../../sdk/lib/_internal/compiler/implementation/util/util.dart' | 13 import 'package:compiler/implementation/util/util.dart' |
14 show Link; | 14 show Link; |
15 | 15 |
16 void main() { | 16 void main() { |
17 testInterface1(); | 17 testInterface1(); |
18 testInterface2(); | 18 testInterface2(); |
19 testGeneric(); | 19 testGeneric(); |
20 testMixin(); | 20 testMixin(); |
21 testFunction(); | 21 testFunction(); |
22 testTypeVariable(); | 22 testTypeVariable(); |
23 } | 23 } |
(...skipping 820 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
844 checkLub(X, S, Object_); | 844 checkLub(X, S, Object_); |
845 checkLub(X, T, T); | 845 checkLub(X, T, T); |
846 checkLub(X, U, B); | 846 checkLub(X, U, B); |
847 checkLub(X, V, T); | 847 checkLub(X, V, T); |
848 checkLub(X, W, T); | 848 checkLub(X, W, T); |
849 checkLub(X, X, X); | 849 checkLub(X, X, X); |
850 })); | 850 })); |
851 } | 851 } |
852 | 852 |
853 | 853 |
OLD | NEW |