multiple jdks test of correct check of inheritance with different type arguments

java/java-tests/testData/codeInsight/multipleJdks/java7/p/GenericCallableWithDifferentTypeArgs.java

@@ -0,0 +1,6 @@
+package p;
+import java.io.Closeable;
+import java.util.concurrent.*;
+
+<error descr="'java.util.concurrent.Callable' cannot be inherited with different type arguments: 'java.lang.AutoCloseable' and 'java.io.Closeable'">abstract class B extends A implements Callable<Closeable></error> {
+}

java/java-tests/testData/codeInsight/multipleJdks/java8/p/GenericCallableWithDifferentTypeArgs.java

@@ -0,0 +1,5 @@
+package p;
+import java.util.concurrent.*;
+
+public abstract class A implements Callable<AutoCloseable> {
+}

java/java-tests/testSrc/com/intellij/codeInsight/MultipleJdksHighlightingTest.java

@@ -117,6 +117,13 @@ public class MultipleJdksHighlightingTest extends UsefulTestCase {
     myFixture.checkHighlighting();
   }
 
+  @Bombed(month = Calendar.FEBRUARY, day = 20)
+  public void testGenericCallableWithDifferentTypeArgs() throws Exception {
+    final String name = getTestName(false);
+    myFixture.configureByFiles("java7/p/" + name + ".java", "java8/p/" + name + ".java");
+    myFixture.checkHighlighting();
+  }
+
   private void doTest() {
     final String name = getTestName(false);
     for (Module module : new Module[] {myJava7Module, myJava8Module}) {