spec: no capture conversion applicable for array type; capture conversion must be applied for array access expression type; javac: no capture conversion is applicable for array access expressions with write access (IDEA-157295)

java/java-psi-api/src/com/intellij/psi/util/PsiUtil.java

@@ -815,10 +815,6 @@ public final class PsiUtil extends PsiUtilCore {
         }
       }
     }
-    else if (type instanceof PsiArrayType) {
-      return captureToplevelWildcards(((PsiArrayType)type).getComponentType(), context).createArrayType();
-    }
-
     return type;
   }
 

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

@@ -22,6 +22,7 @@ import com.intellij.psi.impl.source.Constants;
 import com.intellij.psi.impl.source.tree.ChildRole;
 import com.intellij.psi.tree.ChildRoleBase;
 import com.intellij.psi.tree.IElementType;
+import com.intellij.psi.util.PsiUtil;
 import org.jetbrains.annotations.NotNull;
 
 public class PsiArrayAccessExpressionImpl extends ExpressionPsiElement implements PsiArrayAccessExpression, Constants {
@@ -46,7 +47,9 @@ public class PsiArrayAccessExpressionImpl extends ExpressionPsiElement implement
   public PsiType getType() {
     PsiType arrayType = getArrayExpression().getType();
     if (!(arrayType instanceof PsiArrayType)) return null;
-    return ((PsiArrayType)arrayType).getComponentType();
+    final PsiType componentType = ((PsiArrayType)arrayType).getComponentType();
+    if (PsiUtil.isAccessedForWriting(this)) return componentType;
+    return PsiUtil.captureToplevelWildcards(componentType, this);
   }
 
   @Override

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/NoCaptureConversionForArrayType.java

@@ -0,0 +1,11 @@
+import java.util.*;
+
+class Test {
+  private void foo() {
+    List<Class<?>> parameterTypes = Arrays.asList(getParameterTypes());
+  }
+
+  private Class<?>[] getParameterTypes() {
+    return null;
+  }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java

@@ -613,4 +613,8 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testTopLevelCaptureConversion() throws Exception {
     doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
   }
+
+  public void testNoCaptureConversionForArrayType() throws Exception {
+    doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
+  }
 }