1 files changed, 18 insertions, 0 deletions
diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/CyclicParamsDependency.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/CyclicParamsDependency.java
new file mode 100644
index 000000000000..927165e23e9c
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/CyclicParamsDependency.java
@@ -0,0 +1,18 @@
+import java.util.List;
+
+class Sample {
+  <T extends List<K>, K extends List<T>> T foo(){
+    <error descr="Incompatible types. Found: 'K', required: 'T'">T t = foo().get(0);</error>
+    <error descr="Incompatible types. Found: 'K', required: 'K'">K k = foo().get(0);</error>
+
+    <error descr="Incompatible types. Found: 'T', required: 'T'">T t1 = foo().get(0).get(0);</error>
+
+    String s  = foo();
+    <error descr="Incompatible types. Found: 'K', required: 'java.lang.String'">String s1 = foo().get(0);</error>
+    return null;
+  }
+
+  {
+    foo();
+  }
+}
+\ No newline at end of file