diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA130453.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA130453.java
new file mode 100644
index 000000000000..d5709c7b6bf2
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA130453.java
@@ -0,0 +1,34 @@
+
+final class Example {
+
+  static <D extends PayRunDetails<D>> void wild(final Payroll<?,?,D> payroll) {
+    // just an ide error
+    bound(payroll);
+
+    final PayRun<?,?,D> payRun = payroll.getPayRun();
+    final Payroll<?,?,?> payroll1 = payRun.getPayroll();
+    final D details = payRun.getDetails();
+    payRun.updateDetails(details);
+  }
+
+  static <P extends Payroll<P,PR,D>, PR extends PayRun<P,PR,D>, D extends PayRunDetails<D>> void bound(final Payroll<P,PR,D> payroll) {
+    final PR payRun = payroll.getPayRun();
+    final P payroll1 = payRun.getPayroll();
+    final D details = payRun.getDetails();
+    payRun.updateDetails(details);
+  }
+
+  interface PayRunDetails<D extends PayRunDetails<D>> {}
+
+  interface Payroll<P extends Payroll<P,PR,D>, PR extends PayRun<P,PR,D>, D extends PayRunDetails<D>> {
+    PR getPayRun();
+  }
+
+  interface PayRun<P extends Payroll<P,PR,D>, PR extends PayRun<P,PR,D>, D extends PayRunDetails<D>> {
+    P getPayroll();
+
+    D getDetails();
+
+    void updateDetails(D value);
+  }
+}
\ No newline at end of file
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 91b9b4317a0a..ec833f93673d 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
@@ -528,6 +528,10 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
   }
 
+  public void testIDEA130453() throws Exception {
+    doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
+  }
+
   public void testJavaUtilCollections_NoVerify() throws Exception {
     PsiClass collectionsClass = getJavaFacade().findClass("java.util.Collections", GlobalSearchScope.moduleWithLibrariesScope(getModule()));
     assertNotNull(collectionsClass);