Inherit type annotations for arrays

Fixes IDEA-240571 "implement method" action works bad with arrays notnulled twice

GitOrigin-RevId: 3014f528f6af966153ae4dc8c821240fca3d9d79

java/java-impl/src/com/intellij/codeInsight/generation/GenerateMembersUtil.java

@@ -446,7 +446,8 @@ public class GenerateMembersUtil {
       generator.addExistingName(paramName);
       PsiType expressionType = GenericsUtil.getVariableTypeByExpressionType(substituted);
       if (expressionType instanceof PsiArrayType && substituted instanceof PsiEllipsisType) {
-        expressionType = new PsiEllipsisType(((PsiArrayType)expressionType).getComponentType());
+        expressionType = new PsiEllipsisType(((PsiArrayType)expressionType).getComponentType())
+          .annotate(expressionType.getAnnotationProvider());
       }
       result[i] = factory.createParameter(paramName, expressionType, target);
     }

java/java-psi-api/src/com/intellij/psi/GenericsUtil.java

@@ -321,7 +321,7 @@ public class GenericsUtil {
         if (type instanceof PsiWildcardType) {
           type = ((PsiWildcardType)type).getBound();
         }
-        return type != null ? type.createArrayType() : arrayType;
+        return type != null ? type.createArrayType().annotate(arrayType.getAnnotationProvider()) : arrayType;
       }
 
       @Override

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/implementMethods/afterNotNullArray.java

@@ -0,0 +1,25 @@
+// "Implement methods" "true"
+package org.jetbrains.annotations;
+
+import java.lang.annotation.*;
+
+abstract class Test {
+    abstract void foo(@NotNull String @NotNull[] data);
+    
+    abstract void foo2(@NotNull String @NotNull ... data);
+}
+
+class TImple extends Test {
+    @Override
+    void foo(@NotNull String @NotNull [] data) {
+        
+    }
+
+    @Override
+    void foo2(@NotNull String @NotNull ... data) {
+
+    }
+}
+
+@Target({ElementType.PARAMETER, ElementType.TYPE_USE})
+@interface NotNull {}

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/implementMethods/beforeNotNullArray.java

@@ -0,0 +1,15 @@
+// "Implement methods" "true"
+package org.jetbrains.annotations;
+
+import java.lang.annotation.*;
+
+abstract class Test {
+    abstract void foo(@NotNull String @NotNull[] data);
+    
+    abstract void foo2(@NotNull String @NotNull ... data);
+}
+
+<caret>class TImple extends Test {}
+
+@Target({ElementType.PARAMETER, ElementType.TYPE_USE})
+@interface NotNull {}