clang 22.0.0git
ASTConcept.h File Reference

This file provides AST data structures related to concepts. More...

#include "clang/AST/DeclarationName.h"
#include "clang/AST/NestedNameSpecifierBase.h"
#include "clang/AST/TemplateBase.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/UnsignedOrNone.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/SmallVector.h"
#include <utility>

Go to the source code of this file.

Classes

class  clang::ConstraintSatisfaction
 The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint. More...
struct  clang::ASTConstraintSatisfaction
 The result of a constraint satisfaction check, containing the necessary information to diagnose an unsatisfied constraint. More...
class  clang::ConceptReference
 A reference to a concept and its template args, as it appears in the code. More...
class  clang::TypeConstraint
 Models the abbreviated syntax to constrain a template type parameter: template <convertible_to<string> T> void print(T object); ~~~~~~~~~~~~~~~~~~~~~~ Semantically, this adds an "immediately-declared constraint" with extra arg: requires convertible_to<T, string> More...

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.

Typedefs

using clang::ConstraintSubstitutionDiagnostic = std::pair<SourceLocation, StringRef>
 Unsatisfied constraint expressions if the template arguments could be substituted into them, or a diagnostic if substitution resulted in an invalid expression.
using clang::UnsatisfiedConstraintRecord

Functions

const StreamingDiagnosticclang::operator<< (const StreamingDiagnostic &DB, const ConceptReference *C)
 Insertion operator for diagnostics.

Detailed Description

This file provides AST data structures related to concepts.

Definition in file ASTConcept.h.