931                                            concepts::ExprRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
933   assert(!Req->isSatisfied()  in diagnoseUnsatisfiedRequirement()
935   switch (Req->getSatisfactionStatus()) {  in diagnoseUnsatisfiedRequirement()
940       auto *SubstDiag = Req->getExprSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
953       S.Diag(Req->getNoexceptLoc(),  in diagnoseUnsatisfiedRequirement()
955           << (int)First << Req->getExpr();  in diagnoseUnsatisfiedRequirement()
959           Req->getReturnTypeRequirement().getSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
973           Req->getReturnTypeRequirementSubstitutedConstraintExpr();  in diagnoseUnsatisfiedRequirement()
977         Expr *e = Req->getExpr();  in diagnoseUnsatisfiedRequirement()
996                                            concepts::TypeRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
998   assert(!Req->isSatisfied()  in diagnoseUnsatisfiedRequirement()
1000   switch (Req->getSatisfactionStatus()) {  in diagnoseUnsatisfiedRequirement()
1005     auto *SubstDiag = Req->getSubstitutionDiagnostic();  in diagnoseUnsatisfiedRequirement()
1026                                            concepts::NestedRequirement *Req,  in diagnoseUnsatisfiedRequirement()  argument
1029   for (auto &Pair : Req->getConstraintSatisfaction()) {  in diagnoseUnsatisfiedRequirement()
1032           << (int)First << Req->getInvalidConstraintEntity() << SubstDiag->second;  in diagnoseUnsatisfiedRequirement()
1123     for (concepts::Requirement *Req : RE->getRequirements())  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1124       if (!Req->isDependent() && !Req->isSatisfied()) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1125         if (auto *E = dyn_cast<concepts::ExprRequirement>(Req))  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1127         else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req))  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1131               S, cast<concepts::NestedRequirement>(Req), First);  in diagnoseWellFormedUnsatisfiedConstraintExpr()
1601     ReturnTypeRequirement Req, SatisfactionStatus Status,  in ExprRequirement()  argument
1606                  Req.containsUnexpandedParameterPack()),  in ExprRequirement()
1608     TypeReq(Req), SubstitutedConstraintExpr(SubstitutedConstraintExpr),  in ExprRequirement()
1610   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&  in ExprRequirement()
1613   assert((Status > SS_TypeRequirementSubstitutionFailure && Req.isTypeConstraint()) ==  in ExprRequirement()
1619     SourceLocation NoexceptLoc, ReturnTypeRequirement Req) :  in ExprRequirement()  argument
1620     Requirement(IsSimple ? RK_Simple : RK_Compound, Req.isDependent(),  in ExprRequirement()
1621                 Req.containsUnexpandedParameterPack(), /*IsSatisfied=*/false),  in ExprRequirement()
1622     Value(ExprSubstDiag), NoexceptLoc(NoexceptLoc), TypeReq(Req),  in ExprRequirement()
1624   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&  in ExprRequirement()