Lines Matching defs:Req

1161                                            concepts::ExprRequirement *Req,
1163   assert(!Req->isSatisfied()
1165   switch (Req->getSatisfactionStatus()) {
1170       auto *SubstDiag = Req->getExprSubstitutionDiagnostic();
1183       S.Diag(Req->getNoexceptLoc(),
1185           << (int)First << Req->getExpr();
1189           Req->getReturnTypeRequirement().getSubstitutionDiagnostic();
1203           Req->getReturnTypeRequirementSubstitutedConstraintExpr();
1207         Expr *e = Req->getExpr();
1226                                            concepts::TypeRequirement *Req,
1228   assert(!Req->isSatisfied()
1230   switch (Req->getSatisfactionStatus()) {
1235     auto *SubstDiag = Req->getSubstitutionDiagnostic();
1256                                            concepts::NestedRequirement *Req,
1259   for (auto &Record : Req->getConstraintSatisfaction()) {
1262           << (int)First << Req->getInvalidConstraintEntity()
1354     for (concepts::Requirement *Req : RE->getRequirements())
1355       if (!Req->isDependent() && !Req->isSatisfied()) {
1356         if (auto *E = dyn_cast<concepts::ExprRequirement>(Req))
1358         else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req))
1362               S, cast<concepts::NestedRequirement>(Req), First);
1909     ReturnTypeRequirement Req, SatisfactionStatus Status,
1914                  Req.containsUnexpandedParameterPack()),
1916     TypeReq(Req), SubstitutedConstraintExpr(SubstitutedConstraintExpr),
1918   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&
1921   assert((Status > SS_TypeRequirementSubstitutionFailure && Req.isTypeConstraint()) ==
1927     SourceLocation NoexceptLoc, ReturnTypeRequirement Req) :
1928     Requirement(IsSimple ? RK_Simple : RK_Compound, Req.isDependent(),
1929                 Req.containsUnexpandedParameterPack(), /*IsSatisfied=*/false),
1930     Value(ExprSubstDiag), NoexceptLoc(NoexceptLoc), TypeReq(Req),
1932   assert((!IsSimple || (Req.isEmpty() && NoexceptLoc.isInvalid())) &&