PsiType (PsiTypeParameter typeParam, PsiType param, PsiType arg, boolean isContraVariantPosition, LanguageLevel languageLevel) { return getInferenceHelper(languageLevel) .getSubstitutionForTypeParameter(typeParam, param, arg, isContraVariantPosition, languageLevel); }