PsiType (InferenceVariable var, PsiSubstitutor substitutor) { return composeBound(var, InferenceBound.LOWER, pair -> GenericsUtil.getLeastUpperBound(pair.first, pair.second, myManager), substitutor); }