new inference: reject methrefs with inconsistent number of parameters

(cherry picked from commit 9c41270192e140ed28067e2740333c6d3fa49bd2)

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

@@ -98,10 +98,12 @@ public class PsiMethodReferenceCompatibilityConstraint implements ConstraintForm
         for (int i = 1; i < targetParameters.length; i++) {
           constraints.add(new TypeCompatibilityConstraint(psiSubstitutor.substitute(parameters[i - 1].getType()), GenericsUtil.eliminateWildcards(substitutor.substitute(targetParameters[i].getType()))));
         }
-      } else {
+      } else if (targetParameters.length == parameters.length) {
         for (int i = 0; i < targetParameters.length; i++) {
           constraints.add(new TypeCompatibilityConstraint(psiSubstitutor.substitute(parameters[i].getType()), GenericsUtil.eliminateWildcards(substitutor.substitute(targetParameters[i].getType()))));
         }
+      } else {
+        return false;
       }
       if (returnType != PsiType.VOID) {
         if (applicableMethodReturnType == PsiType.VOID) {

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

@@ -0,0 +1,15 @@
+class Test {
+    interface I {
+        void m(Integer x1, Integer x2, Integer x3);
+    }
+
+    static class Foo {
+       static void foo() {}
+    }
+
+    <T> void bar(I i) {}
+
+    void test() {
+        bar<error descr="'bar(Test.I)' in 'Test' cannot be applied to '(<method reference>)'">(Foo::foo)</error>;
+    }
+}

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

@@ -78,6 +78,10 @@ public class NewMethodRefHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest(false);
   }
 
+  public void testAssertNumberOfParameters() throws Exception {
+    doTest(false);
+  }
+
   private void doTest() {
     doTest(false);
   }