clang 20.0.0git
Classes | Typedefs | Functions
clang::concepts Namespace Reference

Classes

class  ExprRequirement
 A requires-expression requirement which queries the validity and properties of an expression ('simple' and 'compound' requirements). More...
 
class  NestedRequirement
 A requires-expression requirement which is satisfied when a general constraint expression is satisfied ('nested' requirements). More...
 
class  Requirement
 A static requirement that can be used in a requires-expression to check properties of types and expression. More...
 
class  TypeRequirement
 A requires-expression requirement which queries the existence of a type name or type template specialization ('type' requirements). More...
 

Typedefs

using EntityPrinter = llvm::function_ref< void(llvm::raw_ostream &)>
 

Functions

Requirement::SubstitutionDiagnosticcreateSubstDiagAt (Sema &S, SourceLocation Location, EntityPrinter Printer)
 create a Requirement::SubstitutionDiagnostic with only a SubstitutedEntity and DiagLoc using Sema's allocator.
 

Typedef Documentation

◆ EntityPrinter

using clang::concepts::EntityPrinter = typedef llvm::function_ref<void(llvm::raw_ostream &)>

Definition at line 493 of file ExprConcepts.h.

Function Documentation

◆ createSubstDiagAt()

concepts::Requirement::SubstitutionDiagnostic * clang::concepts::createSubstDiagAt ( Sema S,
SourceLocation  Location,
EntityPrinter  Printer 
)

create a Requirement::SubstitutionDiagnostic with only a SubstitutedEntity and DiagLoc using Sema's allocator.

Definition at line 2587 of file SemaTemplateInstantiate.cpp.

References clang::C, clang::Sema::Context, and clang::Sema::OS.

Referenced by clang::Sema::BuildExprRequirement().