[P0857R0 Part-B] Allows `require' clauses appearing in
authorLiming Liu <gangliugangliu.ml@outlook.com>
Thu, 27 Oct 2022 13:27:02 +0000 (06:27 -0700)
committerErich Keane <erich.keane@intel.com>
Thu, 27 Oct 2022 13:41:43 +0000 (06:41 -0700)
commitae48d1c76a6c14cdbf3a3e73f6c2c2befd0a81b0
treefdcece568625bd74fae9adb9929186c6ec25e538
parentbba97c3c03a9e4adb09470295b013652137e9490
[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
clang/docs/ReleaseNotes.rst
clang/include/clang/Sema/Sema.h
clang/lib/Parse/ParseTemplate.cpp
clang/lib/Sema/SemaConcept.cpp
clang/lib/Sema/SemaOverload.cpp
clang/lib/Sema/SemaTemplate.cpp
clang/lib/Sema/SemaTemplateInstantiate.cpp
clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
clang/test/CXX/temp/temp.arg/temp.arg.template/p3-2a.cpp
clang/test/SemaTemplate/concepts.cpp
clang/www/cxx_status.html