usaxena95 added a comment.
Not sure if this has come up already but this would still crash on
template <typename T>
concept C = requires(T a) { foo(a); };
struct D1 {
template <C TO> D1(TO);
};
struct D2 {
friend void foo(D1);
};
static_assert(C<D2>);
as we only consider conversion to itself (derived to base).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D133052/new/
https://reviews.llvm.org/D133052
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
