diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA128159.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA128159.java
new file mode 100644
index 000000000000..14afacc41dff
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA128159.java
@@ -0,0 +1,10 @@
+class Bug {
+    static A test(A[] as) {
+        for (<error descr="Incompatible types. Found: 'Bug.B', required: 'Bug.A'">B b</error> : as) {
+            <error descr="Incompatible types. Found: 'Bug.B', required: 'Bug.A'">return b;</error>
+        }
+        return null;
+    }
+    static class A {}
+    static class B {}
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/GenericsHighlightingTest.java b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/GenericsHighlightingTest.java
index 8ae022248232..f04e4136ae92 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/GenericsHighlightingTest.java
@@ -432,4 +432,5 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testGetClassInAnonymous() { doTest6(false); }
   public void testInheritFromDifferentParameterizations() { doTest6(false); }
   public void testCheckAccessibilityBeforeSuperFieldReferenceInSuperCall() { doTest6(false); }
+  public void testIDEA128159() { doTest6(false); }
 }
\ No newline at end of file