diff options
author | Saar Raz <saar@raz.email> | 2019-10-25 00:09:37 +0300 |
---|---|---|
committer | Saar Raz <saar@raz.email> | 2019-10-25 00:19:51 +0300 |
commit | ffa214ef22892d75340dc6720271863901dc2c90 (patch) | |
tree | 22ac01e56e625a86277515bd3fd76060016265b8 /clang/lib/AST/ASTContext.cpp | |
parent | a18818207ab5bb2f81cf1db036d0b23645d5ab83 (diff) | |
download | bcm5719-llvm-ffa214ef22892d75340dc6720271863901dc2c90.tar.gz bcm5719-llvm-ffa214ef22892d75340dc6720271863901dc2c90.zip |
[Concepts] Constraint Enforcement & Diagnostics
Part of the C++20 concepts implementation effort.
- Associated constraints (requires clauses, currently) are now enforced when instantiating/specializing templates and when considering partial specializations and function overloads.
- Elaborated diagnostics give helpful insight as to why the constraints were not satisfied.
Phabricator: D41569
Diffstat (limited to 'clang/lib/AST/ASTContext.cpp')
-rw-r--r-- | clang/lib/AST/ASTContext.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/AST/ASTContext.cpp b/clang/lib/AST/ASTContext.cpp index cda51ec755a..cdd05c02ef3 100644 --- a/clang/lib/AST/ASTContext.cpp +++ b/clang/lib/AST/ASTContext.cpp @@ -14,6 +14,7 @@ #include "CXXABI.h" #include "Interp/Context.h" #include "clang/AST/APValue.h" +#include "clang/AST/ASTConcept.h" #include "clang/AST/ASTMutationListener.h" #include "clang/AST/ASTTypeTraits.h" #include "clang/AST/Attr.h" |