Index: tests/language/src/CyclicTypeVariableTest.dart |
diff --git a/tests/language/src/CyclicTypeVariableTest.dart b/tests/language/src/CyclicTypeVariableTest.dart |
deleted file mode 100644 |
index a6c247777a1aa9a63e619d842d493b0fea882838..0000000000000000000000000000000000000000 |
--- a/tests/language/src/CyclicTypeVariableTest.dart |
+++ /dev/null |
@@ -1,60 +0,0 @@ |
-// Copyright (c) 2012, 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. |
- |
-// Tests cyclic reference to type variables in type expressions |
- |
-class Base<T> {} |
- |
-class Derived extends Base<Derived> {} // legal |
- |
-typedef void funcType<T |
-extends T /// 01: static type warning |
->(T arg); |
- |
-class DerivedFunc extends Base<funcType<DerivedFunc>> { } |
- |
- |
-interface A<S |
-extends S /// 02: static type warning |
-> { |
- S field; |
-} |
- |
-interface B<U extends Base<U>> { // legal |
- U field; |
-} |
- |
-class C1<V |
-extends V /// 03: static type warning |
-> { |
- V field; |
-} |
- |
-class C2<V |
-extends V /// 04: static type warning |
-> implements A<V> { |
- V field; |
-} |
- |
-class D1<W extends Base<W>> { // legal |
- W field; |
-} |
- |
-class D2<W extends Base<W>> implements B<W>{ // legal |
- W field; |
-} |
- |
-class E<X extends Base<funcType<X>>> { // legal |
- |
- X field; |
-} |
- |
-main() { |
- new C1<int>(); |
- new C2<int>(); |
- new D1<Derived>(); |
- new D2<Derived>(); |
- new E<DerivedFunc>(); |
- funcType<Object> val = null; |
-} |