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

[Erich Keane via Phabricator via cfe-commits]

erichkeane added a comment.

In D134128#3805675 <https://reviews.llvm.org/D134128#3805675>, @lime wrote:

> I have not looked deep into D126907 <https://reviews.llvm.org/D126907>, but the rule it referred seems related to something as follows:

You shouldn't have to look 'deep' into it, just rebase and see what happens.  Note that it has not been committed yet, so you'll have to manually apply it.

>   template <typename, typename> concept C = true;
>   
>   template <typename T>
>   struct S {
>       template <template <C<T> U> typename> friend void foo(S) {}
>   };
>   
>   // Does the rule say these two are not the same?
>   template <template <C<int> T> typename> S<int> foo(S<int> s) { return s; }

Right, those are not the same because of: https://eel.is/c++draft/temp.friend#9


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134128