[Concepts] Constrained partial specializations and function overloads.
authorSaar Raz <saar@raz.email>
Wed, 18 Dec 2019 18:59:01 +0000 (20:59 +0200)
committerSaar Raz <saar@raz.email>
Wed, 18 Dec 2019 19:01:31 +0000 (21:01 +0200)
commitfc0731b98a67c793862288f8ae334322666214dc
tree6b40608a727d7ddd36cf7afa6ac657f56804a2b1
parent406b6019cd2bd50924be11c634b058c01053fbd3
[Concepts] Constrained partial specializations and function overloads.

Added support for constraint satisfaction checking and partial ordering of constraints in constrained partial specialization and function template overloads.

Phabricator: D41910
18 files changed:
clang/include/clang/AST/DeclTemplate.h [changed mode: 0644->0755]
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/include/clang/Sema/Sema.h [changed mode: 0644->0755]
clang/lib/AST/ASTImporter.cpp
clang/lib/AST/DeclTemplate.cpp [changed mode: 0644->0755]
clang/lib/Frontend/FrontendActions.cpp
clang/lib/Sema/SemaConcept.cpp [changed mode: 0644->0755]
clang/lib/Sema/SemaTemplate.cpp [changed mode: 0644->0755]
clang/lib/Sema/SemaTemplateDeduction.cpp
clang/lib/Sema/SemaTemplateInstantiate.cpp
clang/lib/Sema/SemaTemplateInstantiateDecl.cpp [changed mode: 0644->0755]
clang/lib/Serialization/ASTReaderDecl.cpp
clang/lib/Serialization/ASTWriterDecl.cpp
clang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp
clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp [new file with mode: 0644]
clang/test/CXX/temp/temp.constr/temp.constr.order/class-template-partial-specializations.cpp [new file with mode: 0644]
clang/test/CXX/temp/temp.constr/temp.constr.order/function-templates.cpp [new file with mode: 0644]
clang/test/CXX/temp/temp.constr/temp.constr.order/var-template-partial-specializations.cpp [new file with mode: 0644]