Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/CompileTimeErrorCodeTest.java |
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/CompileTimeErrorCodeTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/CompileTimeErrorCodeTest.java |
index 6796729ba7cfd16bd50268f6d6982f207160c2bd..3b09835953e9bc63d74e7812a98d43e042ef9e69 100644 |
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/CompileTimeErrorCodeTest.java |
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/CompileTimeErrorCodeTest.java |
@@ -3369,6 +3369,14 @@ public class CompileTimeErrorCodeTest extends ResolverTestCase { |
verify(source); |
} |
+ public void test_typeAliasCannotReferenceItself_typeVariableBounds() throws Exception { |
+ Source source = addSource(createSource(// |
+ "typedef A<T extends A>();")); |
+ resolve(source); |
+ assertErrors(source, CompileTimeErrorCode.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF); |
+ verify(source); |
+ } |
+ |
public void test_typeAliasCannotRereferenceItself_mixin_direct() throws Exception { |
Source source = addSource(createSource(// |
"class M = Object with M;")); |