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

[Liming Liu via Phabricator via cfe-commits]

lime added a comment.

I think I located the problem. In the line 1014 of the file `SemaTemplateInstantiateDecl.cpp`, the requires clause is not instantiated as the parameters of the template parameter list, and these parameters have been instantiated with a shallower depth. So that's the reason why the depths are not confirm between the `T` in `template <template <C T> class>` and the constraints on the instantiated parameters. I guess adjusting depths should be unnecessary in `IsAtLeastAsConstrained`, if the requires clause was correctly instantiated, so are changes related to `SemaConcept.cpp`. I will work on this later.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134128