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;

Reply via email to