lambda: missed ground type for target functional type (IDEA-149053)

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

@@ -1287,7 +1287,8 @@ public class InferenceSession {
     if (formula instanceof ExpressionCompatibilityConstraint) {
       PsiExpression expression = ((ExpressionCompatibilityConstraint)formula).getExpression();
       if (expression instanceof PsiLambdaExpression) {
-        PsiType parameterType = ((ExpressionCompatibilityConstraint)formula).getT();
+        PsiType parameterType = FunctionalInterfaceParameterizationUtil.getGroundTargetType(((ExpressionCompatibilityConstraint)formula).getT(),
+                                                                                            (PsiLambdaExpression)expression);
         collectLambdaReturnExpression(additionalConstraints, (PsiLambdaExpression)expression, parameterType, !isProperType(parameterType), substitutor);
       }
     }

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

@@ -0,0 +1,15 @@
+interface I<T, R> {
+  R m(T t);
+}
+
+abstract class A<B> {
+  public abstract A<B> bar(I<Throwable, ? extends A<? extends B>> resumeFunction);
+
+  void foo(A<?> a) {
+    a.bar(throwable ->  A.error());
+  }
+
+  public static final <T> A<T> error() {
+    return null;
+  }
+}

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

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