SuccessChanges

Summary

  1. [Concepts] Constrained partial specializations and function overloads. (details)
  2. [Sema] SequenceChecker: Add some comments + related small NFCs (details)
Commit d3f5769d5e93b30d4a8b4696381d5e4a304992fa by saar
[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. Re-commit after fixing some crashes and warnings.
Differential Revision: https://reviews.llvm.org/D41910
The file was modifiedclang/lib/Sema/SemaTemplateInstantiateDecl.cpp
The file was modifiedclang/lib/Sema/SemaTemplate.cpp
The file was modifiedclang/lib/Serialization/ASTWriterDecl.cpp
The file was modifiedclang/include/clang/AST/DeclTemplate.h
The file was modifiedclang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp
The file was modifiedclang/lib/Serialization/ASTReaderDecl.cpp
The file was modifiedclang/lib/Frontend/FrontendActions.cpp
The file was modifiedclang/lib/Sema/SemaTemplateInstantiate.cpp
The file was addedclang/test/CXX/temp/temp.constr/temp.constr.order/var-template-partial-specializations.cpp
The file was addedclang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
The file was addedclang/test/CXX/temp/temp.constr/temp.constr.order/class-template-partial-specializations.cpp
The file was modifiedclang/lib/Sema/SemaConcept.cpp
The file was modifiedclang/lib/Sema/SemaTemplateDeduction.cpp
The file was modifiedclang/include/clang/Basic/DiagnosticSemaKinds.td
The file was modifiedclang/lib/AST/ASTImporter.cpp
The file was addedclang/test/CXX/temp/temp.constr/temp.constr.order/function-templates.cpp
The file was modifiedclang/lib/AST/DeclTemplate.cpp
The file was modifiedclang/include/clang/Sema/Sema.h
Commit b6eba3129291639dcd72ba31ed4b6f0b4dbe09e7 by riccibrun
[Sema] SequenceChecker: Add some comments + related small NFCs
NFCs factored out of the following patches:
- Change all of the `Expr *` to `const Expr *` in SequenceChecker for
const-correctness. SequenceChecker should not modify AST nodes.
- Add some comments.
- clang-format
Differential Revision: https://reviews.llvm.org/D57659
Reviewed By: xbolva00
The file was modifiedclang/include/clang/Sema/Sema.h
The file was modifiedclang/lib/Sema/SemaChecking.cpp