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 mixin_typevariable_test; | 5 library mixin_typevariable_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/src/dart_types.dart'; |
(...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
149 testSupertypes(E2, {A: [_], B: [_, instantiate(A, [_])]}); | 149 testSupertypes(E2, {A: [_], B: [_, instantiate(A, [_])]}); |
150 | 150 |
151 DartType F1_T = F1.typeVariables.first; | 151 DartType F1_T = F1.typeVariables.first; |
152 testSupertypes(F1, {A: [_], B: [_, instantiate(B, [F1_T, _])]}); | 152 testSupertypes(F1, {A: [_], B: [_, instantiate(B, [F1_T, _])]}); |
153 DartType F1_superclass_T = F1.superclass.typeVariables.first; | 153 DartType F1_superclass_T = F1.superclass.typeVariables.first; |
154 testSupertypes(F1.superclass, {A: [_], B: [_, instantiate(B, [F1_superclass_
T, _])]}); | 154 testSupertypes(F1.superclass, {A: [_], B: [_, instantiate(B, [F1_superclass_
T, _])]}); |
155 DartType F2_T = F2.typeVariables.first; | 155 DartType F2_T = F2.typeVariables.first; |
156 testSupertypes(F2, {A: [_], B: [_, instantiate(B, [F2_T, _])]}); | 156 testSupertypes(F2, {A: [_], B: [_, instantiate(B, [F2_T, _])]}); |
157 })); | 157 })); |
158 } | 158 } |
OLD | NEW |