https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121981
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot
gnu.org
--- Comment #11 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Thanks Andrew for the reduction! Further reduced:
template<auto V>
concept C = requires { V; };
template<class T, auto V>
concept D = C<V>;
template<auto V, D<V> auto W, D<V> T>
struct A { };
A<0, 1, int> a;