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