Types:
PsiMethodCallExpression:p.add(new Integer(8)) : boolean
PsiParameter:p : java.util.Set<? extends java.lang.Object>
PsiReferenceExpression:p : java.util.Set<? extends java.lang.Object>

Conversions:
p.add(new Integer(8)) -> $

New expression type changes:
Fails:
new Integer(8)->? extends java.lang.Object