222           SubstitutedExpression = S.SubstExpr(const_cast<Expr *>(AtomicExpr),  in calculateConstraintSatisfaction()
567                                                         Expr *SubstExpr,  in diagnoseWellFormedUnsatisfiedConstraintExpr()  argument
569   SubstExpr = SubstExpr->IgnoreParenImpCasts();  in diagnoseWellFormedUnsatisfiedConstraintExpr()
570   if (BinaryOperator *BO = dyn_cast<BinaryOperator>(SubstExpr)) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
617           S.Diag(SubstExpr->getBeginLoc(),  in diagnoseWellFormedUnsatisfiedConstraintExpr()
619               << (int)First << SubstExpr  in diagnoseWellFormedUnsatisfiedConstraintExpr()
631   } else if (auto *CSE = dyn_cast<ConceptSpecializationExpr>(SubstExpr)) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
641       S.Diag(SubstExpr->getSourceRange().getBegin(),  in diagnoseWellFormedUnsatisfiedConstraintExpr()
647   } else if (auto *RE = dyn_cast<RequiresExpr>(SubstExpr)) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
662   S.Diag(SubstExpr->getSourceRange().getBegin(),  in diagnoseWellFormedUnsatisfiedConstraintExpr()
664       << (int)First << SubstExpr;  in diagnoseWellFormedUnsatisfiedConstraintExpr()