Home | History | Annotate | Download | only in Sema

Lines Matching refs:concepts

381     concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo,
391     concepts::NestedRequirement *Req, ConstraintsCheck,
1142         ArrayRef<concepts::Requirement *> Reqs,
1143         SmallVectorImpl<concepts::Requirement *> &Transformed) {
1145       for (concepts::Requirement *Req : Reqs) {
1146         concepts
1148           if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req))
1150           else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req))
1154                 cast<concepts::NestedRequirement>(Req));
1181     concepts::TypeRequirement *
1182     TransformTypeRequirement(concepts::TypeRequirement *Req);
1183     concepts::ExprRequirement *
1184     TransformExprRequirement(concepts::ExprRequirement *Req);
1185     concepts::NestedRequirement *
1186     TransformNestedRequirement(concepts::NestedRequirement *Req);
1879 static concepts::Requirement::SubstitutionDiagnostic *
1899   return new (S.Context) concepts::Requirement::SubstitutionDiagnostic{
1904 concepts::TypeRequirement *
1905 TemplateInstantiator::TransformTypeRequirement(concepts::TypeRequirement *Req) {
1931 concepts::ExprRequirement *
1932 TemplateInstantiator::TransformExprRequirement(concepts::ExprRequirement *Req) {
1939   llvm::PointerUnion<Expr *, concepts::Requirement::SubstitutionDiagnostic *>
1960   llvm::Optional<concepts::ExprRequirement::ReturnTypeRequirement> TransRetReq;
1992       TransExpr.get<concepts::Requirement::SubstitutionDiagnostic *>(),
1996 concepts::NestedRequirement *
1998     concepts::NestedRequirement *Req) {
2374         // TODO: Concepts: do not instantiate the constraint (delayed constraint