Types: PsiMethodCallExpression:p.get(0) : java.lang.Number PsiParameter:p : java.lang.Integer[] PsiReferenceExpression:p : java.lang.Integer[] Conversions: p.get(0) -> $qualifier$[$i$] $qualifier$.get($i$) p.get(0) New expression type changes: Fails: