DfType (DfaCallArguments arguments, DfaMemoryState state, DfaValueFactory factory, PsiMethod method) { DfaValue qualifier = arguments.myQualifier; TypeConstraint fact = TypeConstraint.fromDfType(state.getDfType(qualifier)); if (fact instanceof TypeConstraint.Exact) { PsiType qualifierType = fact.getPsiType(factory.getProject()); PsiType classType = method.getReturnType(); if (classType != null && qualifierType != null) { return referenceConstant(qualifierType, classType); } } return INSTANTIABLE_CLASS.asDfType(TRUE); }