make type denotable: ensure that array type is not created over wildcard

java/java-tests/testData/refactoring/introduceVariable/DenotableType3.after.java

@@ -0,0 +1,9 @@
+import java.util.function.IntFunction;
+import java.util.stream.Stream;
+
+class MyTest {
+  private static void getArguments(final Stream<Class<String>> classStream) {
+      IntFunction<Class<?>[]> m = (value) -> new Class<?>[value];
+      final Class<?>[] classes = classStream.toArray(m);
+  }
+}

java/java-tests/testData/refactoring/introduceVariable/DenotableType3.java

@@ -0,0 +1,7 @@
+import java.util.stream.Stream;
+
+class MyTest {
+  private static void getArguments(final Stream<Class<String>> classStream) {
+    final Class<?>[] classes = classStream.toArray(<selection>(value) -> new Class<?>[value]</selection>);
+  }
+}

java/java-tests/testSrc/com/intellij/refactoring/IntroduceVariableTest.java

@@ -512,6 +512,10 @@ public class IntroduceVariableTest extends LightCodeInsightTestCase {
     doTest(new MockIntroduceVariableHandler("m", false, false, false, "I<? extends I<?>>"));
   }
 
+  public void testDenotableType3() {
+    doTest(new MockIntroduceVariableHandler("m", false, false, false, "java.util.function.IntFunction<java.lang.Class<?>[]>"));
+  }
+
   public void testReturnNonExportedArray() {
     doTest(new MockIntroduceVariableHandler("i", false, false, false, "java.io.File[]") {
       @Override