method ref: ensure capture conversion on first arg of second search

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

@@ -1627,7 +1627,8 @@ public class InferenceSession {
 
       final PsiType qType = JavaPsiFacade.getElementFactory(method.getProject()).createType(containingClass, psiSubstitutor);
 
-      addConstraint(new TypeCompatibilityConstraint(substituteWithInferenceVariables(qType), pType));
+      addConstraint(new TypeCompatibilityConstraint(substituteWithInferenceVariables(qType), 
+                                                    PsiUtil.captureToplevelWildcards(pType, reference)));
 
       if (methodContainingClass != null) {
         psiSubstitutor = JavaClassSupers.getInstance().getSuperClassSubstitutor(methodContainingClass, containingClass, reference.getResolveScope(), psiSubstitutor);

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newMethodRef/CaptureOnDedicatedParameterOfSecondSearch.java

@@ -0,0 +1,13 @@
+class MyTest {
+    {
+        Appender data = Map::appendData;
+    }
+}
+
+interface Map<B> {
+    void appendData(String appender) ;
+}
+
+interface Appender {
+    void append(Map<?> map, String appender);
+}

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

@@ -184,6 +184,7 @@ public class NewMethodRefHighlightingTest extends LightDaemonAnalyzerTestCase {
 
   public void testPreferErrorOnTopLevelToFailedSubstitutorOnNestedLevel() { doTest(); }
   public void testDontIgnoreIncompatibilitiesDuringFirstApplicabilityCheck() { doTest(); }
+  public void testCaptureOnDedicatedParameterOfSecondSearch() { doTest(); }
 
   private void doTest() {
     doTest(false);