diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57534.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57534.java
new file mode 100644
index 000000000000..ea3e242fa54c
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57534.java
@@ -0,0 +1,15 @@
+abstract class C{
+    abstract <T extends Cloneable> void foo(T x);
+    abstract <T extends Object & Cloneable> void foo(T x);
+    void bar(Cloneable x){
+        foo<error descr="Ambiguous method call: both 'C.foo(Cloneable)' and 'C.foo(Cloneable)' match">(x)</error>;
+    }
+}
+
+abstract class D {
+    abstract <T extends Iterable<? extends Exception>> void foo(T x);
+    abstract <T extends Object & Iterable<? super Exception>> void foo(T x);
+    void bar(Iterable<Exception> x){
+        foo<error descr="Ambiguous method call: both 'D.foo(Iterable<Exception>)' and 'D.foo(Iterable<Exception>)' match">(x)</error>;
+    }
+}
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
index 03ff60bbdf29..ca16ea443b53 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
@@ -211,6 +211,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testIDEA57446(){ doTest5(false); }
   public void testIDEA67677(){ doTest5(false); }
   public void testIDEA67798(){ doTest5(false); }
+  public void testIDEA57534(){ doTest5(false); }
 
   public void testWildcardsOnRawTypes() { doTest5(false); }
   public void testDisableWithinBoundsCheckForSuperWildcards() {