recursive substitutors: additional constraints substitution should not repeat already performed substitution with site substitutor (IDEA-146841)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newLambda/RecursiveAtSiteSubstitutorsWithAdditionalConstraints.java

@@ -0,0 +1,23 @@
+import java.util.concurrent.ExecutorService;
+import java.util.function.*;
+
+abstract class List<A> {
+
+  public abstract int length();
+  public abstract <B> B foldLeft(B identity, Function<B, Function<A, B>> f);
+  public abstract <B> List<B> map(Function<A, B> f);
+  public abstract <B> List<B> flatMap(Function<A, List<B>> f);
+
+  public List<List<A>> splitListAt(int i) {
+    return null;
+  }
+
+  public List<List<A>> divide(List<List<A>> list, int depth) {
+    final List<List<A>> divide = divide(list.flatMap(x -> x.splitListAt(x.length() / 2)), depth / 2);
+    return null;
+  }
+
+  public <C> void parFoldLeft(ExecutorService es, C identity, Function<C, Function<A, C>> f, List<List<A>> dList) {
+    dList.map(x -> es.submit(() -> x.foldLeft(identity, f)));
+  }
+}