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;