Index: pkg/kernel/testcases/input/prefer_baseclass.dart |
diff --git a/pkg/kernel/testcases/input/prefer_baseclass.dart b/pkg/kernel/testcases/input/prefer_baseclass.dart |
deleted file mode 100644 |
index 40061c3425f9e15efc41611b88cfe7baadb8dc35..0000000000000000000000000000000000000000 |
--- a/pkg/kernel/testcases/input/prefer_baseclass.dart |
+++ /dev/null |
@@ -1,29 +0,0 @@ |
-class A {} |
- |
-class B {} |
- |
-class AB1 extends A implements B {} |
- |
-class AB2 extends A implements B {} |
- |
-class BA1 extends B implements A {} |
- |
-class BA2 extends B implements A {} |
- |
-takeSubclassOfA(obj) { |
- // The analysis should at least infer that 'obj' is a subclass of A, |
- // When the upper bound is ambiguous, it should use the common superclass, if |
- // there is one besides Object. |
-} |
- |
-takeSubclassOfB(obj) { |
- // Likewise, the analysis should infer that 'obj' is a subclass of B. |
-} |
- |
-main() { |
- takeSubclassOfA(new AB1()); |
- takeSubclassOfA(new AB2()); |
- |
- takeSubclassOfB(new BA1()); |
- takeSubclassOfB(new BA2()); |
-} |