new inference: include additional constraints to check applicability (IDEA-140355)

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

@@ -261,8 +261,7 @@ public class InferenceSession {
         return prepareSubstitution();
       }
 
-      if (parameters != null && args != null &&
-          !MethodCandidateInfo.ourOverloadGuard.currentStack().contains(PsiUtil.skipParenthesizedExprUp(parent.getParent()))) {
+      if (parameters != null && args != null) {
         final Set<ConstraintFormula> additionalConstraints = new LinkedHashSet<ConstraintFormula>();
         if (parameters.length > 0) {
           collectAdditionalConstraints(parameters, args, properties.getMethod(), PsiSubstitutor.EMPTY, additionalConstraints, properties.isVarargs());

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/overloadResolution/MethodReferenceWithTypeArgs.java

@@ -0,0 +1,22 @@
+
+import java.util.TreeSet;
+import java.util.function.Supplier;
+import java.util.stream.Stream;
+
+class Test {
+
+  void foo() {
+    log(get(TreeSet<String>::new));
+  }
+
+  private void <warning descr="Private method 'log(java.lang.String[])' is never used">log</warning>(String params[]) {
+    System.out.println(params);
+  }
+  private void log(Object params) {
+    System.out.println(params);
+  }
+
+  <C> C get(Supplier<C> s) {
+    return s.get();
+  }
+}

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

@@ -114,6 +114,10 @@ public class OverloadResolutionTest extends LightDaemonAnalyzerTestCase {
     doTest();
   }
 
+  public void testMethodReferenceWithTypeArgs() throws Exception {
+    doTest();
+  }
+
   private void doTest() {
     doTest(true);
   }