Types:
PsiMethodCallExpression:p.set(0, new Integer(8)) : java.lang.Object
PsiParameter:p : java.util.ArrayList<? super java.lang.Integer>
PsiReferenceExpression:p : java.util.ArrayList<? super java.lang.Integer>

Conversions:
p.set(0, new Integer(8)) -> $

New expression type changes:
Fails: