https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109122

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-reduction             |
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
The problem seems to be with pretty printing a reference/pointer to a pointer
to member function type:

template<class T, class F>
concept C = requires (T t, F f) { (t.*f)(); };

struct A;

static_assert(C<A, void (A::*&)(int)>);

Reply via email to