testdata for IDEA-57413

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57413.java

@@ -0,0 +1,7 @@
+class A<T> {
+    <T extends A<T>> void foo(T x){}
+
+    void bar(A<?> x){
+        <error descr="Inferred type 'A<capture<?>>' for type parameter 'T' is not within its bound; should extend 'A<A<capture<?>>>'">foo(x)</error>;
+    }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java

@@ -214,6 +214,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testIDEA57534(){ doTest5(false); }
   public void testIDEA57482(){ doTest5(false); }
   public void testIDEA67577(){ doTest5(false); }
+  public void testIDEA57413(){ doTest5(false); }
   public void testIDEA67571(){ doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false); }
 
   public void testWildcardsOnRawTypes() { doTest5(false); }