[all-commits] [llvm/llvm-project] ae48d1: [P0857R0 Part-B] Allows `require' clauses appearin...

[limingliv via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae48d1c76a6c14cdbf3a3e73f6c2c2befd0a81b0
      https://github.com/llvm/llvm-project/commit/ae48d1c76a6c14cdbf3a3e73f6c2c2befd0a81b0
  Author: Liming Liu <gangliugangliu.ml at outlook.com>
  Date:   2022-10-27 (Thu, 27 Oct 2022)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/Sema/Sema.h
    M clang/lib/Parse/ParseTemplate.cpp
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaOverload.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/test/CXX/temp/temp.arg/temp.arg.template/p3-2a.cpp
    M clang/test/SemaTemplate/concepts.cpp
    M clang/www/cxx_status.html

  Log Message:
  -----------
  [P0857R0 Part-B] Allows `require' clauses appearing in

template-template parameters. Although it effects whether a template can be
used as an argument for another template, the constraint seems not to
be checked, nor other major implementations (GCC, MSVC, et al.) check it.

Additionally, Part-A of the document seems to have been implemented.
So mark P0857R0 as completed.

Differential Revision: https://reviews.llvm.org/D134128