Searched refs:TypeRequirement (Results 1 – 16 of 16) sorted by relevance
225 class TypeRequirement : public Requirement {243 TypeRequirement(TypeSourceInfo *T);247 TypeRequirement(SubstitutionDiagnostic *Diagnostic) : in TypeRequirement() function
238 if (auto *TR = dyn_cast<concepts::TypeRequirement>(R)) { in Visit()
470 bool TraverseConceptTypeRequirement(concepts::TypeRequirement *R);535 cast<concepts::TypeRequirement>(R));568 concepts::TypeRequirement *R) {
100 NODE(TypeRequirement)
2498 class TypeRequirement : public Node {2501 TypeRequirement(const Node *Type_) in TypeRequirement() function4865 Constraint = make<TypeRequirement>(Type); in parseRequiresExpr()
996 concepts::TypeRequirement *Req, in diagnoseUnsatisfiedRequirement()1001 case concepts::TypeRequirement::SS_Dependent: in diagnoseUnsatisfiedRequirement()1004 case concepts::TypeRequirement::SS_SubstitutionFailure: { in diagnoseUnsatisfiedRequirement()1127 else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req)) in diagnoseWellFormedUnsatisfiedConstraintExpr()1646 concepts::TypeRequirement::TypeRequirement(TypeSourceInfo *T) : in TypeRequirement() function in concepts::TypeRequirement
1529 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) in TransformRequiresExprRequirements()1563 concepts::TypeRequirement *1564 TransformTypeRequirement(concepts::TypeRequirement *Req);2412 concepts::TypeRequirement *2413 TemplateInstantiator::TransformTypeRequirement(concepts::TypeRequirement *Req) { in TransformTypeRequirement()
9132 concepts::TypeRequirement *9134 return new (Context) concepts::TypeRequirement(Type); in BuildTypeRequirement()9137 concepts::TypeRequirement *9140 return new (Context) concepts::TypeRequirement(SubstDiag); in BuildTypeRequirement()
555 concepts::TypeRequirement *556 TransformTypeRequirement(concepts::TypeRequirement *Req);3633 concepts::TypeRequirement *3639 concepts::TypeRequirement *RebuildTypeRequirement(TypeSourceInfo *T) { in RebuildTypeRequirement()13042 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) in TransformRequiresExprRequirements()13057 concepts::TypeRequirement *13059 concepts::TypeRequirement *Req) { in TransformTypeRequirement()
5388 if (auto *TR = dyn_cast<concepts::TypeRequirement>(Req)) { in believe()
852 static_cast<concepts::TypeRequirement::SatisfactionStatus>( in VisitRequiresExpr()854 if (Status == concepts::TypeRequirement::SS_SubstitutionFailure) in VisitRequiresExpr()856 concepts::TypeRequirement(readSubstitutionDiagnostic(Record)); in VisitRequiresExpr()859 concepts::TypeRequirement(Record.readTypeSourceInfo()); in VisitRequiresExpr()
525 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(R)) { in VisitRequiresExpr()528 if (TypeReq->Status == concepts::TypeRequirement::SS_SubstitutionFailure) in VisitRequiresExpr()
1638 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { in VisitRequiresExpr()
2519 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { in VisitRequiresExpr()
4557 const auto *TR = cast<concepts::TypeRequirement>(Req); in mangleRequirement()
8822 concepts::TypeRequirement *BuildTypeRequirement(TypeSourceInfo *Type);8823 concepts::TypeRequirement *