Index: compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java |
diff --git a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java |
index 2aad3a98d61271131c39d77c19e080cdfdd1a5f4..0fb883ab6bdbf61fa2343857071fbb53acd44baf 100644 |
--- a/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java |
+++ b/compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java |
@@ -2110,7 +2110,7 @@ public class TypeAnalyzerCompilerTest extends CompilerTestCase { |
errEx(TypeErrorCode.SUPERTYPE_HAS_FIELD, 8, 3, 3), |
errEx(TypeErrorCode.SUPERTYPE_HAS_FIELD, 9, 3, 3)); |
} |
- |
+ |
public void test_supertypeHasGetterSetter() throws Exception { |
AnalyzeLibraryResult libraryResult = analyzeLibrary( |
"// filler filler filler filler filler filler filler filler filler filler", |
@@ -2126,7 +2126,24 @@ public class TypeAnalyzerCompilerTest extends CompilerTestCase { |
assertErrors(libraryResult.getTypeErrors(), |
errEx(TypeErrorCode.SUPERTYPE_HAS_FIELD, 8, 3, 3), |
errEx(TypeErrorCode.SUPERTYPE_HAS_FIELD, 9, 3, 3)); |
- } |
+ } |
+ |
+ /** |
+ * <p> |
+ * http://code.google.com/p/dart/issues/detail?id=3280 |
+ */ |
+ public void test_typeVariableExtendsFunctionAliasType() throws Exception { |
+ AnalyzeLibraryResult libraryResult = analyzeLibrary( |
+ "// filler filler filler filler filler filler filler filler filler filler", |
+ "typedef void F();", |
+ "class C<T extends F> {", |
+ " test() {", |
+ " new C<T>();", |
+ " }", |
+ "}", |
+ ""); |
+ assertErrors(libraryResult.getErrors()); |
+ } |
private AnalyzeLibraryResult analyzeLibrary(String... lines) throws Exception { |
return analyzeLibrary(getName(), makeCode(lines)); |