[PATCH] D110641: Implement P0857R0 -Part B: requires clause for template-template params

[Erich Keane via Phabricator via cfe-commits]

erichkeane created this revision.
erichkeane added reviewers: rsmith, hubert.reinterpretcast, saar.raz, arthur.j.odwyer.
erichkeane requested review of this revision.

P0857R0 part-b allows a 'requires' clause on template-template
parameters. This patch adds this in.  However, no part of the standard
seems to require checking of these constraints, nor do any of the 3
major implementations (EDG, GCC, MSVC) that implement this feature.

Additionally, Part A of the document allows requires clauses on lambdas
which appears to already be implemented, so update cxx_status.html to
mark this paper as implemented.


https://reviews.llvm.org/D110641

Files:
  clang/lib/Parse/ParseTemplate.cpp
  clang/test/CXX/temp/temp.arg/temp.arg.template/p3-2a.cpp
  clang/www/cxx_status.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D110641.375638.patch
Type: text/x-patch
Size: 4708 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20210928/40ed3ff8/attachment.bin>