Types:
PsiArrayAccessExpression:p[0] : java.lang.Integer
PsiParameter:p : java.util.ArrayList<? super java.lang.Integer>
PsiReferenceExpression:p : java.util.ArrayList<? super java.lang.Integer>

Conversions:
p[0] -> $qualifier$.set($idx$, $expr$) $qualifier$[$idx$] = $expr$ p[0] = new Integer(0)

New expression type changes:
Fails: