Types:
PsiParameter:p : java.util.ArrayList<? super java.lang.Integer>
PsiReferenceExpression:p : java.util.ArrayList<? super java.lang.Integer>

Conversions:

New expression type changes:
Fails:
p[0]->java.util.ArrayList<? super java.lang.Integer>