Home | History | Annotate | Download | only in Sema

Lines Matching refs:concepts

8566 concepts::Requirement *Sema::ActOnSimpleRequirement(Expr *E) {
8572 concepts::Requirement *
8602 concepts::Requirement *
8608 concepts::Requirement *
8645       concepts::ExprRequirement::ReturnTypeRequirement(TPL));
8648 concepts::ExprRequirement *
8651     concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement) {
8652   auto Status = concepts::ExprRequirement::SS_Satisfied;
8655     Status = concepts::ExprRequirement::SS_Dependent;
8657     Status = concepts::ExprRequirement::SS_NoexceptNotMet;
8659     Status = concepts::ExprRequirement::SS_TypeRequirementSubstitutionFailure;
8685       Status = concepts::ExprRequirement::SS_ConstraintsNotSatisfied;
8687   return new (Context) concepts::ExprRequirement(E, IsSimple, NoexceptLoc,
8692 concepts::ExprRequirement *
8694     concepts::Requirement::SubstitutionDiagnostic *ExprSubstitutionDiagnostic,
8696     concepts::ExprRequirement::ReturnTypeRequirement ReturnTypeRequirement) {
8697   return new (Context) concepts::ExprRequirement(ExprSubstitutionDiagnostic,
8702 concepts::TypeRequirement *
8704   return new (Context) concepts::TypeRequirement(Type);
8707 concepts::TypeRequirement *
8709     concepts::Requirement::SubstitutionDiagnostic *SubstDiag) {
8710   return new (Context) concepts::TypeRequirement(SubstDiag);
8713 concepts::Requirement *Sema::ActOnNestedRequirement(Expr *Constraint) {
8717 concepts::NestedRequirement *
8724   return new (Context) concepts::NestedRequirement(Context, Constraint,
8728 concepts::NestedRequirement *
8730     concepts::Requirement::SubstitutionDiagnostic *SubstDiag) {
8731   return new (Context) concepts::NestedRequirement(SubstDiag);
8774                         ArrayRef<concepts::Requirement *> Requirements,