diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA57502.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA57502.java
new file mode 100644
index 000000000000..407f9d1f810c
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA57502.java
@@ -0,0 +1,11 @@
+
+interface I<T> {}
+abstract class X {
+    abstract <T> T foo(T x, T y);
+
+    void bar(
+      I<I<? super I<? super I<Throwable>>>> x,
+      I<I<? super I<? super I<Exception>>>> y){
+        I<? extends I<? super I<? super I<?>>>> foo = foo(x, y);
+    }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
index ca0d2ac17519..1732793d63ab 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
@@ -849,4 +849,8 @@ public class GenericsHighlighting8Test extends LightDaemonAnalyzerTestCase {
   public void testIDEA139090() throws Exception {
     doTest();
   }
+
+  public void testIDEA57502() throws Exception {
+    doTest();
+  }
 }