testdata for IDEA-57272

This commit is contained in:
anna
2013-05-02 16:11:42 +02:00
parent dbe8ff7f25
commit d00a443e7a
2 changed files with 9 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
abstract class A<S> {
abstract <T extends A<? extends Throwable>> T foo(T y);
{
A<?> a = null;
<error descr="Inferred type 'A<capture<?>>' for type parameter 'T' is not within its bound; should extend 'A<? extends java.lang.Throwable>'">foo(a)</error>;
}
}

View File

@@ -217,6 +217,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
public void testIDEA57413(){ doTest5(false); }
public void testIDEA57265(){ doTest5(false); }
public void testIDEA57271(){ doTest5(false); }
public void testIDEA57272(){ doTest5(false); }
public void testIDEA67571(){ doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false); }
public void testWildcardsOnRawTypes() { doTest5(false); }