Lines Matching defs:Req

736     concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo,
746     concepts::NestedRequirement *Req, ConstraintsCheck,
1730       for (concepts::Requirement *Req : Reqs) {
1733           if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req))
1735           else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req))
1739                 cast<concepts::NestedRequirement>(Req));
1750           TransReq = Req;
1768     TransformTypeRequirement(concepts::TypeRequirement *Req);
1770     TransformExprRequirement(concepts::ExprRequirement *Req);
1772     TransformNestedRequirement(concepts::NestedRequirement *Req);
2635 TemplateInstantiator::TransformTypeRequirement(concepts::TypeRequirement *Req) {
2636   if (!Req->isDependent() && !AlwaysRebuild())
2637     return Req;
2638   if (Req->isSubstitutionFailure()) {
2641               Req->getSubstitutionDiagnostic());
2642     return Req;
2646   TemplateDeductionInfo Info(Req->getType()->getTypeLoc().getBeginLoc());
2648       Req->getType()->getTypeLoc().getBeginLoc(), Req, Info,
2649       Req->getType()->getTypeLoc().getSourceRange());
2652   TypeSourceInfo *TransType = TransformType(Req->getType());
2656             Req->getType()->getType().print(OS, SemaRef.getPrintingPolicy());
2662 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) {
2663   if (!Req->isDependent() && !AlwaysRebuild())
2664     return Req;
2670   if (Req->isExprSubstitutionFailure())
2671     TransExpr = Req->getExprSubstitutionDiagnostic();
2673     Expr *E = Req->getExpr();
2675     Sema::InstantiatingTemplate ExprInst(SemaRef, E->getBeginLoc(), Req, Info,
2692   const auto &RetReq = Req->getReturnTypeRequirement();
2702                                         Req, Info, OrigTPL->getSourceRange());
2719     return RebuildExprRequirement(E, Req->isSimple(), Req->getNoexceptLoc(),
2723       Req->isSimple(), Req->getNoexceptLoc(), std::move(*TransRetReq));
2728     concepts::NestedRequirement *Req) {
2729   if (!Req->isDependent() && !AlwaysRebuild())
2730     return Req;
2731   if (Req->hasInvalidConstraint()) {
2733       return RebuildNestedRequirement(Req->getInvalidConstraintEntity(),
2734                                       Req->getConstraintSatisfaction());
2735     return Req;
2738       Req->getConstraintExpr()->getBeginLoc(), Req,
2740       Req->getConstraintExpr()->getSourceRange());
2742     ExprResult TransConstraint = TransformExpr(Req->getConstraintExpr());
2755   TemplateDeductionInfo Info(Req->getConstraintExpr()->getBeginLoc());
2761         Req->getConstraintExpr()->getBeginLoc(), Req, Info,
2762         Req->getConstraintExpr()->getSourceRange());
2767             nullptr, {Req->getConstraintExpr()}, Result, TemplateArgs,
2768             Req->getConstraintExpr()->getSourceRange(), Satisfaction) &&
2782     Req->getConstraintExpr()->printPretty(OS, nullptr,