Lines Matching defs:Req

1140                                            concepts::ExprRequirement *Req,
1142   assert(!Req->isSatisfied()
1144   switch (Req->getSatisfactionStatus()) {
1149       auto *SubstDiag = Req->getExprSubstitutionDiagnostic();
1162       S.Diag(Req->getNoexceptLoc(),
1164           << (int)First << Req->getExpr();
1168           Req->getReturnTypeRequirement().getSubstitutionDiagnostic();
1182           Req->getReturnTypeRequirementSubstitutedConstraintExpr();
1186         Expr *e = Req->getExpr();
1205                                            concepts::TypeRequirement *Req,
1207   assert(!Req->isSatisfied()
1209   switch (Req->getSatisfactionStatus()) {
1214     auto *SubstDiag = Req->getSubstitutionDiagnostic();
1235                                            concepts::NestedRequirement *Req,
1238   for (auto &Record : Req->getConstraintSatisfaction()) {
1241           << (int)First << Req->getInvalidConstraintEntity()
1333     for (concepts::Requirement *Req : RE->getRequirements())
1334       if (!Req->isDependent() && !Req->isSatisfied()) {
1335         if (auto *E = dyn_cast<concepts::ExprRequirement>(Req))
1337         else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req))
1341               S, cast<concepts::NestedRequirement>(Req), First);
1889     ReturnTypeRequirement Req, SatisfactionStatus Status,
1894                  Req.containsUnexpandedParameterPack()),
1896     TypeReq(Req), SubstitutedConstraintExpr(SubstitutedConstraintExpr),
1898   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&
1901   assert((Status > SS_TypeRequirementSubstitutionFailure && Req.isTypeConstraint()) ==
1907     SourceLocation NoexceptLoc, ReturnTypeRequirement Req) :
1908     Requirement(IsSimple ? RK_Simple : RK_Compound, Req.isDependent(),
1909                 Req.containsUnexpandedParameterPack(), /*IsSatisfied=*/false),
1910     Value(ExprSubstDiag), NoexceptLoc(NoexceptLoc), TypeReq(Req),
1912   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&