Searched refs:ExprRequirement (Results 1 – 17 of 17) sorted by relevance
834 concepts::ExprRequirement *Req, in diagnoseUnsatisfiedRequirement()839 case concepts::ExprRequirement::SS_Dependent: in diagnoseUnsatisfiedRequirement()842 case concepts::ExprRequirement::SS_ExprSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()855 case concepts::ExprRequirement::SS_NoexceptNotMet: in diagnoseUnsatisfiedRequirement()860 case concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure: { in diagnoseUnsatisfiedRequirement()874 case concepts::ExprRequirement::SS_ConstraintsNotSatisfied: { in diagnoseUnsatisfiedRequirement()893 case concepts::ExprRequirement::SS_Satisfied: in diagnoseUnsatisfiedRequirement()1028 if (auto *E = dyn_cast<concepts::ExprRequirement>(Req)) in diagnoseWellFormedUnsatisfiedConstraintExpr()1496 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement1514 concepts::ExprRequirement::ExprRequirement( in ExprRequirement() function in concepts::ExprRequirement[all …]
9002 concepts::ExprRequirement::ReturnTypeRequirement(TPL)); in ActOnCompoundRequirement()9005 concepts::ExprRequirement *9008 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement) { in BuildExprRequirement()9009 auto Status = concepts::ExprRequirement::SS_Satisfied; in BuildExprRequirement()9012 Status = concepts::ExprRequirement::SS_Dependent; in BuildExprRequirement()9014 Status = concepts::ExprRequirement::SS_NoexceptNotMet; in BuildExprRequirement()9016 Status = concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure; in BuildExprRequirement()9037 Status = concepts::ExprRequirement::SS_ExprSubstitutionFailure; in BuildExprRequirement()9042 Status = concepts::ExprRequirement::SS_ConstraintsNotSatisfied; in BuildExprRequirement()9045 return new (Context) concepts::ExprRequirement(E, IsSimple, NoexceptLoc, in BuildExprRequirement()[all …]
1394 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()1428 concepts::ExprRequirement *1429 TransformExprRequirement(concepts::ExprRequirement *Req);2259 concepts::ExprRequirement *2260 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()2289 std::optional<concepts::ExprRequirement::ReturnTypeRequirement> TransRetReq; in TransformExprRequirement()
534 concepts::ExprRequirement *535 TransformExprRequirement(concepts::ExprRequirement *Req);3556 concepts::ExprRequirement *3560 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()3565 concepts::ExprRequirement *3567 concepts::ExprRequirement::ReturnTypeRequirement Ret) { in RebuildExprRequirement()12786 if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in TransformRequiresExpr()12808 else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) in TransformRequiresExprRequirements()12837 concepts::ExprRequirement *12838 TreeTransform<Derived>::TransformExprRequirement(concepts::ExprRequirement *Req) { in TransformExprRequirement()[all …]
5311 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) { in believe()
263 class ExprRequirement : public Requirement {352 ExprRequirement(366 ExprRequirement(SubstitutionDiagnostic *E, bool IsSimple,
241 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) { in Visit()
464 bool TraverseConceptExprRequirement(concepts::ExprRequirement *R);535 cast<concepts::ExprRequirement>(R));584 concepts::ExprRequirement *R) {
118 concepts::ExprRequirement::ReturnTypeRequirement::getTypeConstraint() const { in getTypeConstraint()
1607 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()1617 const concepts::ExprRequirement::ReturnTypeRequirement &RetReq = in VisitRequiresExpr()
208 if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) in Visit()
388 if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) { in Visit()
2509 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) { in VisitRequiresExpr()
852 static_cast<concepts::ExprRequirement::SatisfactionStatus>( in VisitRequiresExpr()856 if (Status == concepts::ExprRequirement::SS_ExprSubstitutionFailure) { in VisitRequiresExpr()861 std::optional<concepts::ExprRequirement::ReturnTypeRequirement> Req; in VisitRequiresExpr()877 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()889 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()893 R = new (Record.getContext()) concepts::ExprRequirement( in VisitRequiresExpr()
466 } else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(R)) { in VisitRequiresExpr()485 concepts::ExprRequirement::SS_ConstraintsNotSatisfied) in VisitRequiresExpr()
8550 concepts::ExprRequirement *8553 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);8554 concepts::ExprRequirement *8558 concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement);
1361 const ExprRequirement &ER = cast<ExprRequirement>(R); in VisitConceptRequirement()