Types: PsiField:l : java.util.List PsiMethodCallExpression:b.foo() : java.util.Map PsiParameter:b : A PsiReferenceExpression:b : A PsiReferenceExpression:l : java.util.List Conversions: b.foo() -> $ New expression type changes: Fails: