[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 have not looked deep into D126907 <https://reviews.llvm.org/D126907>, but the rule it referred seems related to something as follows:

  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; }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134128