boolean (PsiType type, PsiClass typeParameter) { final PsiClassType[] types = typeParameter.getExtendsListTypes(); if (types.length == 0) return false; return provablyDistinct(PsiWildcardType.createExtends(typeParameter.getManager(), types[0]), type); }