Index: tests/language/type_variable_bounds2_test.dart |
diff --git a/tests/language/type_variable_bounds2_test.dart b/tests/language/type_variable_bounds2_test.dart |
deleted file mode 100644 |
index c3375d26d673bd3c25c9624252fa7b21325869b2..0000000000000000000000000000000000000000 |
--- a/tests/language/type_variable_bounds2_test.dart |
+++ /dev/null |
@@ -1,63 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
eernst
2017/09/04 17:04:56
Lost coverage: don't delete this 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:expect/expect.dart"; |
- |
-// Test of parameterized types with invalid bounds. |
- |
-abstract class J<T> {} |
- |
-abstract class K<T> {} |
- |
-abstract class I< |
- T |
- extends num //# 00: continued |
- extends num //# 01: continued |
- extends num //# 02: continued |
- extends num //# 03: continued |
- extends num //# 04: continued |
- extends num //# 05: continued |
- extends num //# 06: continued |
- > {} |
- |
-class A<T> implements I<T>, J<T> {} |
- |
-main() { |
- var a = new A<String>(); |
- |
- { |
- I i = a; // //# 00: dynamic type error, static type warning |
- J j = a; // //# 01: static type warning |
- K k = a; // //# 02: dynamic type error, static type warning |
- |
- // In production mode, A<String> is subtype of I, error in checked mode. |
- var x = a is I; // //# 03: dynamic type error, static type warning |
- |
- // In both production and checked modes, A<String> is a subtype of J. |
- Expect.isTrue(a is J); // //# 04: static type warning |
- |
- // In both production and checked modes, A<String> is not a subtype of K. |
- // However, while unsuccessfully trying to prove that A<String> is a K, |
- // a malformed type is encountered in checked mode, resulting in a dynamic |
- // type error. |
- Expect.isTrue(a is !K); // //# 05: dynamic type error, static type warning |
- } |
- |
- a = new A<int>(); |
- |
- { |
- I i = a; |
- J j = a; |
- K k = a; // //# 06: dynamic type error, static type warning |
- |
- // In both production and checked modes, A<int> is a subtype of I. |
- Expect.isTrue(a is I); |
- |
- // In both production and checked modes, A<int> is a subtype of J. |
- Expect.isTrue(a is J); |
- |
- // In both production and checked modes, A<int> is not a subtype of K. |
- Expect.isTrue(a is! K); |
- } |
-} |