[all-commits] [llvm/llvm-project] d3f576: [Concepts] Constrained partial specializations and...

[Saar Raz via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d3f5769d5e93b30d4a8b4696381d5e4a304992fa
      https://github.com/llvm/llvm-project/commit/d3f5769d5e93b30d4a8b4696381d5e4a304992fa
  Author: Saar Raz <saar at raz.email>
  Date:   2019-12-22 (Sun, 22 Dec 2019)

  Changed paths:
    M clang/include/clang/AST/DeclTemplate.h
    M clang/include/clang/Basic/DiagnosticSemaKinds.td
    M clang/include/clang/Sema/Sema.h
    M clang/lib/AST/ASTImporter.cpp
    M clang/lib/AST/DeclTemplate.cpp
    M clang/lib/Frontend/FrontendActions.cpp
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/lib/Serialization/ASTReaderDecl.cpp
    M clang/lib/Serialization/ASTWriterDecl.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp
    A clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
    A clang/test/CXX/temp/temp.constr/temp.constr.order/class-template-partial-specializations.cpp
    A clang/test/CXX/temp/temp.constr/temp.constr.order/function-templates.cpp
    A clang/test/CXX/temp/temp.constr/temp.constr.order/var-template-partial-specializations.cpp

  Log Message:
  -----------
  [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