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

Erich Keane via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 28 13:20:29 PDT 2021


erichkeane updated this revision to Diff 375680.
erichkeane added a comment.

Moments after my last comment, i figured out the scope issue, which makes the names in the template-template-parameter parameter-list in scope for this requires clause.

I don't think it makes SENSE that this is the case, but I suspect thats what the standard says based on the other compiler's behavior.

This fixes the exmaple in the concepts.cpp test.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110641/new/

https://reviews.llvm.org/D110641

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

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


More information about the cfe-commits mailing list