Searched refs:TypeRequirement (Results 1 – 14 of 14) sorted by relevance
205 class TypeRequirement : public Requirement {223 TypeRequirement(TypeSourceInfo *T);227 TypeRequirement(SubstitutionDiagnostic *Diagnostic) : in TypeRequirement() function
238 if (auto *TR = dyn_cast<concepts::TypeRequirement>(R)) { in Visit()
477 bool TraverseConceptTypeRequirement(concepts::TypeRequirement *R);545 cast<concepts::TypeRequirement>(R));590 concepts::TypeRequirement *R) {
519 concepts::TypeRequirement *Req, in diagnoseUnsatisfiedRequirement()524 case concepts::TypeRequirement::SS_Dependent: in diagnoseUnsatisfiedRequirement()527 case concepts::TypeRequirement::SS_SubstitutionFailure: { in diagnoseUnsatisfiedRequirement()652 else if (auto *T = dyn_cast<concepts::TypeRequirement>(Req)) in diagnoseWellFormedUnsatisfiedConstraintExpr()1116 concepts::TypeRequirement::TypeRequirement(TypeSourceInfo *T) : in TypeRequirement() function in concepts::TypeRequirement
1164 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) in TransformRequiresExprRequirements()1197 concepts::TypeRequirement *1198 TransformTypeRequirement(concepts::TypeRequirement *Req);1917 concepts::TypeRequirement *1918 TemplateInstantiator::TransformTypeRequirement(concepts::TypeRequirement *Req) { in TransformTypeRequirement()
9035 concepts::TypeRequirement *9037 return new (Context) concepts::TypeRequirement(Type); in BuildTypeRequirement()9040 concepts::TypeRequirement *9043 return new (Context) concepts::TypeRequirement(SubstDiag); in BuildTypeRequirement()
532 concepts::TypeRequirement *533 TransformTypeRequirement(concepts::TypeRequirement *Req);3455 concepts::TypeRequirement *3461 concepts::TypeRequirement *RebuildTypeRequirement(TypeSourceInfo *T) { in RebuildTypeRequirement()12626 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) in TransformRequiresExprRequirements()12641 concepts::TypeRequirement *12643 concepts::TypeRequirement *Req) { in TransformTypeRequirement()
5268 if (auto *TR = dyn_cast<concepts::TypeRequirement>(Req)) { in believe()
842 static_cast<concepts::TypeRequirement::SatisfactionStatus>( in VisitRequiresExpr()844 if (Status == concepts::TypeRequirement::SS_SubstitutionFailure) in VisitRequiresExpr()846 concepts::TypeRequirement(readSubstitutionDiagnostic(Record)); in VisitRequiresExpr()849 concepts::TypeRequirement(Record.readTypeSourceInfo()); in VisitRequiresExpr()
461 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(R)) { in VisitRequiresExpr()464 if (TypeReq->Status == concepts::TypeRequirement::SS_SubstitutionFailure) in VisitRequiresExpr()
1584 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { in VisitRequiresExpr()
2486 if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) { in VisitRequiresExpr()
1352 const TypeRequirement &TR = cast<TypeRequirement>(R); in VisitConceptRequirement()
8299 concepts::TypeRequirement *BuildTypeRequirement(TypeSourceInfo *Type);8300 concepts::TypeRequirement *