Lines Matching refs:Req
375 concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo, in InstantiatingTemplate() argument
385 concepts::NestedRequirement *Req, ConstraintsCheck, in InstantiatingTemplate() argument
1161 for (concepts::Requirement *Req : Reqs) { in TransformRequiresExprRequirements()
1164 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) in TransformRequiresExprRequirements()
1166 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()
1170 cast<concepts::NestedRequirement>(Req)); in TransformRequiresExprRequirements()
1181 TransReq = Req; in TransformRequiresExprRequirements()
1198 TransformTypeRequirement(concepts::TypeRequirement *Req);
1200 TransformExprRequirement(concepts::ExprRequirement *Req);
1202 TransformNestedRequirement(concepts::NestedRequirement *Req);
1918 TemplateInstantiator::TransformTypeRequirement(concepts::TypeRequirement *Req) { in TransformTypeRequirement() argument
1919 if (!Req->isDependent() && !AlwaysRebuild()) in TransformTypeRequirement()
1920 return Req; in TransformTypeRequirement()
1921 if (Req->isSubstitutionFailure()) { in TransformTypeRequirement()
1924 Req->getSubstitutionDiagnostic()); in TransformTypeRequirement()
1925 return Req; in TransformTypeRequirement()
1929 TemplateDeductionInfo Info(Req->getType()->getTypeLoc().getBeginLoc()); in TransformTypeRequirement()
1931 Req->getType()->getTypeLoc().getBeginLoc(), Req, Info, in TransformTypeRequirement()
1932 Req->getType()->getTypeLoc().getSourceRange()); in TransformTypeRequirement()
1935 TypeSourceInfo *TransType = TransformType(Req->getType()); in TransformTypeRequirement()
1939 Req->getType()->getType().print(OS, SemaRef.getPrintingPolicy()); in TransformTypeRequirement()
1945 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement() argument
1946 if (!Req->isDependent() && !AlwaysRebuild()) in TransformExprRequirement()
1947 return Req; in TransformExprRequirement()
1953 if (Req->isExprSubstitutionFailure()) in TransformExprRequirement()
1954 TransExpr = Req->getExprSubstitutionDiagnostic(); in TransformExprRequirement()
1956 Expr *E = Req->getExpr(); in TransformExprRequirement()
1958 Sema::InstantiatingTemplate ExprInst(SemaRef, E->getBeginLoc(), Req, Info, in TransformExprRequirement()
1975 const auto &RetReq = Req->getReturnTypeRequirement(); in TransformExprRequirement()
1985 Req, Info, OrigTPL->getSourceRange()); in TransformExprRequirement()
2003 return RebuildExprRequirement(E, Req->isSimple(), Req->getNoexceptLoc(), in TransformExprRequirement()
2007 Req->isSimple(), Req->getNoexceptLoc(), std::move(*TransRetReq)); in TransformExprRequirement()
2012 concepts::NestedRequirement *Req) { in TransformNestedRequirement() argument
2013 if (!Req->isDependent() && !AlwaysRebuild()) in TransformNestedRequirement()
2014 return Req; in TransformNestedRequirement()
2015 if (Req->isSubstitutionFailure()) { in TransformNestedRequirement()
2018 Req->getSubstitutionDiagnostic()); in TransformNestedRequirement()
2019 return Req; in TransformNestedRequirement()
2022 Req->getConstraintExpr()->getBeginLoc(), Req, in TransformNestedRequirement()
2024 Req->getConstraintExpr()->getSourceRange()); in TransformNestedRequirement()
2028 TemplateDeductionInfo Info(Req->getConstraintExpr()->getBeginLoc()); in TransformNestedRequirement()
2034 Req->getConstraintExpr()->getBeginLoc(), Req, Info, in TransformNestedRequirement()
2035 Req->getConstraintExpr()->getSourceRange()); in TransformNestedRequirement()
2038 TransConstraint = TransformExpr(Req->getConstraintExpr()); in TransformNestedRequirement()
2061 Req->getConstraintExpr()->printPretty(OS, nullptr, in TransformNestedRequirement()