Index: pkg/kernel/test/type_substitution_identity_test.dart |
diff --git a/pkg/kernel/test/type_substitution_identity_test.dart b/pkg/kernel/test/type_substitution_identity_test.dart |
deleted file mode 100644 |
index d07da2adc3cfc5c3318db0508e484a8184c35ccf..0000000000000000000000000000000000000000 |
--- a/pkg/kernel/test/type_substitution_identity_test.dart |
+++ /dev/null |
@@ -1,30 +0,0 @@ |
-// Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
-import 'package:kernel/kernel.dart'; |
-import 'package:kernel/type_algebra.dart'; |
-import 'type_parser.dart'; |
-import 'type_unification_test.dart' show testCases; |
-import 'package:test/test.dart'; |
- |
-checkType(DartType type) { |
- var map = {new TypeParameter(): const DynamicType()}; |
- var other = substitute(type, map); |
- if (!identical(type, other)) { |
- fail('Identity substitution test failed for $type'); |
- } |
- other = Substitution.fromUpperAndLowerBounds(map, map).substituteType(type); |
- if (!identical(type, other)) { |
- fail('Identity bounded substitution test failed for $type'); |
- } |
-} |
- |
-main() { |
- for (var testCase in testCases) { |
- test('$testCase', () { |
- var env = new LazyTypeEnvironment(); |
- checkType(env.parse(testCase.type1)); |
- checkType(env.parse(testCase.type2)); |
- }); |
- } |
-} |