new inference: already resolved vars can't have bounds problems (IDEA-149740)

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/InferenceSession.java

@@ -975,6 +975,7 @@ public class InferenceSession {
   private  boolean hasBoundProblems(final List<InferenceVariable> typeParams,
                                     final PsiSubstitutor substitutor) {
     for (InferenceVariable typeParameter : typeParams) {
+      if (typeParameter.getInstantiation() != PsiType.NULL) continue;
       final List<PsiType> extendsTypes = typeParameter.getBounds(InferenceBound.UPPER);
       final PsiType[] bounds = extendsTypes.toArray(new PsiType[extendsTypes.size()]);
       if (GenericsUtil.findTypeParameterBoundError(typeParameter, bounds, substitutor, myContext, true) != null) {

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

@@ -0,0 +1,17 @@
+import java.util.Map;
+
+interface RawEntity<T> {}
+interface AoContributor extends RawEntity<Integer> {}
+class Test {
+  void foo(Map<String, AoContributor> contributors) {
+    AoContributor c = contributors.computeIfAbsent("",  email -> create(AoContributor.class, of("clmn", email)));
+  }
+
+  static <T extends RawEntity<K>, K> T create(Class<T> c, Map<String, Object> v2) {
+    return null;
+  }
+
+  static <K1, V1> Map<K1, V1> of(K1 k1, V1 v1) {
+    return null;
+  }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/NewLambdaHighlightingTest.java

@@ -260,6 +260,10 @@ public class NewLambdaHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest();
   }
 
+  public void testResolveOrderShouldTakeIntoAccountDependenciesOfAlreadyResolvedVars() throws Exception {
+    doTest();
+  }
+
   private void doTest() {
     doTest(false);
   }