new inference: stop at first common supertypes pair during incorporation of upper bounds (IDEA-147393)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/AcceptFirstPairOfCommonSupertypesDuringUpUpIncorporation.java

@@ -0,0 +1,13 @@
+interface I<T>{}
+abstract class A<T> implements I<A<T>>{}
+class Factory {
+  static <T extends A<?>> T get(Class<T> c){
+    return null;
+  }
+}
+
+class Impl extends A<Impl> {
+  static Impl get() {
+    return Factory.get(Impl.class);
+  }
+}