IDEA-99536

java/java-impl/src/com/intellij/codeInsight/daemon/impl/analysis/GenericsHighlightUtil.java

@@ -774,7 +774,7 @@ public class GenericsHighlightUtil {
           return true;
         }
       }
-      if (!TypeConversionUtil.typesAgree(lTypeArg, rTypeArg, false)) return true;
+      if (!TypeConversionUtil.typesAgree(lTypeArg, rTypeArg, true)) return true;
     }
     return false;
   }

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/UncheckedWarningIDEA99536.java

@@ -0,0 +1,29 @@
+import java.util.*;
+class A<<warning descr="Type parameter 'T' is never used">T</warning>> {
+}
+
+class B<<warning descr="Type parameter 'S' is never used">S</warning>> extends A {
+}
+
+class C extends A<String> {
+}
+
+
+class D extends A {
+}
+
+
+public class Main {
+  public static void test(Collection<? extends A> <warning descr="Parameter 'c' is never used">c</warning>) {}
+
+  public static void main(String[] args) {
+    Collection<B> bs = new ArrayList<B>();
+    test(bs);
+
+    Collection<C> cs = new ArrayList<C>();
+    test(cs);
+
+    Collection<D> ds = new ArrayList<D>();
+    test(ds);
+  }
+}

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

@@ -160,6 +160,7 @@ public class LightAdvHighlightingJdk7Test extends LightDaemonAnalyzerTestCase {
   public void testUncheckedWarningIDEA21432() throws Exception { doTest(true, false); }
   public void testUncheckedWarningIDEA99357() throws Exception { doTest(true, false); }
   public void testUncheckedWarningIDEA26738() throws Exception { doTest(true, false); }
+  public void testUncheckedWarningIDEA99536() throws Exception { doTest(true, false); }
   public void testDefaultMethodVisibility() throws Exception { doTest(true, false); }
   public void testInheritUnrelatedDefaults() throws Exception { doTest(true, false); }
   public void testNotInheritFromUnrelatedDefault() throws Exception { doTest(true, false); }