testdata for IDEA-57336

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

@@ -0,0 +1,7 @@
+
+abstract class A<<warning descr="Type parameter 'S' is never used">S</warning>> {
+  abstract <T> void foo(A<? extends A<T>> x);
+  void  bar(A<? extends A> x){
+    foo<error descr="'foo(A<? extends A<java.lang.Object>>)' in 'A' cannot be applied to '(A<capture<? extends A>>)'">(x)</error>;
+  }
+}

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

@@ -492,6 +492,10 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, true);
   }
 
+  public void testIDEA57336() throws Exception {
+    doTest(LanguageLevel.JDK_1_8, JavaSdkVersion.JDK_1_8, true);
+  }
+
   public void testJavaUtilCollections_NoVerify() throws Exception {
     PsiClass collectionsClass = getJavaFacade().findClass("java.util.Collections", GlobalSearchScope.moduleWithLibrariesScope(getModule()));
     assertNotNull(collectionsClass);