From 892fe777b0481877697e9b37847a178f2275d511 Mon Sep 17 00:00:00 2001
From: Anna Kozlova <anna.kozlova@jetbrains.com>
Date: Tue, 30 Sep 2014 19:14:19 +0200
Subject: [PATCH] testdata for IDEA-130547

---
 .../lambda/graphInference/IDEA130547.java     | 40 +++++++++++++++++++
 .../GraphInferenceHighlightingTest.java       |  4 ++
 2 files changed, 44 insertions(+)
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/IDEA130547.java

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/IDEA130547.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/IDEA130547.java
new file mode 100644
index 000000000000..50f63cb359ff
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/IDEA130547.java
@@ -0,0 +1,40 @@
+import java.util.function.Function;
+abstract class List<T> {
+  private final T head;
+  private final List<T> tail;
+
+  protected List() {
+    this.head = null;
+    this.tail = null;
+  }
+
+  private List(T head, List<T> tail) {
+    this.head = head;
+    this.tail = tail;
+  }
+
+  protected T getHead() {
+    return head;
+  }
+  private static <T> RecCall<Result<T>> firstHelper(final List<T> list, final Function<T, Boolean> f) {
+    return cont(new RecCall.Continue<Result<T>>(firstHelper(list.tail, f)));
+  }
+
+  public static <T> RecCall<T> cont(final RecCall<T> next) {
+    return new RecCall.Continue<T>(next);
+  }
+
+}
+
+
+interface Result<B> {}
+
+interface RecCall<T> {
+  public static class Continue<T> implements RecCall<T> {
+    private final RecCall<T> next;
+
+    public Continue(RecCall<T> next) {
+      this.next = next;
+    }
+  }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
index 3776ec6f7349..538b833b5e3b 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
@@ -247,6 +247,10 @@ public class GraphInferenceHighlightingTest extends LightDaemonAnalyzerTestCase
     doTest();
   }
 
+  public void testIDEA130547() throws Exception {
+    doTest();
+  }
+
   private void doTest() throws Exception {
     doTest(false);
   }