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::SubstitutionDiagnostic *	createSubstDiagAt (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 2612 of file SemaTemplateInstantiate.cpp.

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

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