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