java inference: allow unresolved type parameters during potential compatibility check (IDEA-268866)

GitOrigin-RevId: f38e13385d534b025f8072e29a3558b0f2ecf4e7

java/java-psi-impl/src/com/intellij/psi/impl/source/tree/java/MethodReferenceResolver.java

@@ -419,6 +419,14 @@ public class MethodReferenceResolver implements ResolveCache.PolyVariantContextR
 
   private static boolean arrayCreationSignature(@NotNull MethodSignature signature) {
     PsiType[] parameterTypes = signature.getParameterTypes();
-    return parameterTypes.length == 1 && parameterTypes[0] != null && TypeConversionUtil.isAssignable(PsiType.INT, parameterTypes[0]);
+    if (parameterTypes.length == 1 && parameterTypes[0] != null) {
+      if (TypeConversionUtil.isAssignable(PsiType.INT, parameterTypes[0])) {
+        return true;
+      }
+      if (parameterTypes[0] instanceof PsiClassType) {
+        return ((PsiClassType)parameterTypes[0]).resolve() instanceof PsiTypeParameter;
+      }
+    }
+    return false;
   }
 }

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/methodRef/RefOnArrayDeclaration.java

@@ -54,4 +54,17 @@ class IDEA106973 {
     <error descr="Incompatible types. Found: '<method reference>', required: 'IDEA106973.Function<java.lang.String,java.lang.String[]>'">Function<String, String[]> a1  = String[] :: new;</error>
     Function<Short, String[]> a2  = String[] :: new;
   }
+}
+
+class IDEA268866 {
+  interface Function<A, B> {
+    B apply(A a);
+  }
+  private static <T, K, U> void m(Function<? super T, ? extends K> keyMapper,
+                                  Function<? super T, ? extends U> valueMapper) {
+  }
+
+  private static void main(Function<Integer, Integer> identity) {
+    m(identity, int[]::new);
+  }
 }