[PATCH] D134128: Resubmit an implemention for constrained template template parameters [P0857R0 Part B]

[Liming Liu via Phabricator via cfe-commits]

lime updated this revision to Diff 465652.
lime added a comment.

Thanks for the advice. I used `AdjustConstraintDepth` before `subsume`. The adjusted constraints are assigned to new addresses, but I think `MutableArrayRef` could be used here.

> what do you mean by 'tailing' here?

I wanted to express the require clauses, as they are stored in `TrailingObject`.

> What exactly is going on here? I would expect the 'AdjustConstraintDepth' work to have already made these basically equal.

`AdjustConstraintDepth` works here, but I missed it before you mentioned it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134128

Files:
  clang/lib/Parse/ParseTemplate.cpp
  clang/lib/Sema/SemaConcept.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: D134128.465652.patch
Type: text/x-patch
Size: 10365 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221006/da3682c9/attachment-0001.bin>