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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
