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