454                                            concepts::ExprRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
456   assert(!Req->isSatisfied()  in diagnoseUnsatisfiedRequirement()
458   switch (Req->getSatisfactionStatus()) {  in diagnoseUnsatisfiedRequirement()
463       auto *SubstDiag = Req->getExprSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
476       S.Diag(Req->getNoexceptLoc(),  in diagnoseUnsatisfiedRequirement()
478           << (int)First << Req->getExpr();  in diagnoseUnsatisfiedRequirement()
482           Req->getReturnTypeRequirement().getSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
496           Req->getReturnTypeRequirementSubstitutedConstraintExpr();  in diagnoseUnsatisfiedRequirement()
500         Expr *e = Req->getExpr();  in diagnoseUnsatisfiedRequirement()
519                                            concepts::TypeRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
521   assert(!Req->isSatisfied()  in diagnoseUnsatisfiedRequirement()
523   switch (Req->getSatisfactionStatus()) {  in diagnoseUnsatisfiedRequirement()
528     auto *SubstDiag = Req->getSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
546                                            concepts::NestedRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
548   if (Req->isSubstitutionFailure()) {  in diagnoseUnsatisfiedRequirement()
550         Req->getSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
562   S.DiagnoseUnsatisfiedConstraint(Req->getConstraintSatisfaction(), First);  in diagnoseUnsatisfiedRequirement()
648     for (concepts::Requirement *Req : RE->getRequirements())  in diagnoseWellFormedUnsatisfiedConstraintExpr()
649       if (!Req->isDependent() && !Req->isSatisfied()) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
650         if (auto *E = dyn_cast<concepts::ExprRequirement>(Req))  in diagnoseWellFormedUnsatisfiedConstraintExpr()
652         else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req))  in diagnoseWellFormedUnsatisfiedConstraintExpr()
656               S, cast<concepts::NestedRequirement>(Req), First);  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1071     ReturnTypeRequirement Req, SatisfactionStatus Status,  in ExprRequirement()  argument
1076                  Req.containsUnexpandedParameterPack()),  in ExprRequirement()
1078     TypeReq(Req), SubstitutedConstraintExpr(SubstitutedConstraintExpr),  in ExprRequirement()
1080   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&  in ExprRequirement()
1083   assert((Status > SS_TypeRequirementSubstitutionFailure && Req.isTypeConstraint()) ==  in ExprRequirement()
1089     SourceLocation NoexceptLoc, ReturnTypeRequirement Req) :  in ExprRequirement()  argument
1090     Requirement(IsSimple ? RK_Simple : RK_Compound, Req.isDependent(),  in ExprRequirement()
1091                 Req.containsUnexpandedParameterPack(), /*IsSatisfied=*/false),  in ExprRequirement()
1092     Value(ExprSubstDiag), NoexceptLoc(NoexceptLoc), TypeReq(Req),  in ExprRequirement()
1094   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&  in ExprRequirement()