testdata for IDEA-57361

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

@@ -0,0 +1,7 @@
+
+class C<T> {
+  class D {}
+  <T extends C<String>.D> void foo(){
+    this.<<error descr="Type parameter 'C.D' is not within its bound; should extend 'C<java.lang.String>.D'">D</error>>foo();
+  }
+}

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

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