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 import 'package:test/test.dart'; | 5 import 'package:test/test.dart'; |
6 import 'package:kernel/ast.dart'; | 6 import 'package:kernel/ast.dart'; |
7 import 'package:kernel/class_hierarchy.dart'; | 7 import 'package:kernel/class_hierarchy.dart'; |
8 import 'package:kernel/type_environment.dart'; | 8 import 'package:kernel/type_environment.dart'; |
9 import 'type_parser.dart'; | 9 import 'type_parser.dart'; |
10 | 10 |
(...skipping 142 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
153 fail('isSubtypeOf(${testCase.subtype}, ${testCase.supertype}) returned ' | 153 fail('isSubtypeOf(${testCase.subtype}, ${testCase.supertype}) returned ' |
154 '${!testCase.isSubtype} but should return ${testCase.isSubtype}'); | 154 '${!testCase.isSubtype} but should return ${testCase.isSubtype}'); |
155 } | 155 } |
156 if (subtype != supertype && tester.isSubtypeOf(supertype, subtype)) { | 156 if (subtype != supertype && tester.isSubtypeOf(supertype, subtype)) { |
157 fail('isSubtypeOf(${testCase.supertype}, ${testCase.subtype}) returned ' | 157 fail('isSubtypeOf(${testCase.supertype}, ${testCase.subtype}) returned ' |
158 'true but should return false'); | 158 'true but should return false'); |
159 } | 159 } |
160 }); | 160 }); |
161 } | 161 } |
162 } | 162 } |
OLD | NEW |