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

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This is the accepts-invalid example from PR 86978:

template <typename t>
struct S
{
    template <typename t2>
        requires false
    friend void foobar(S, t2) {}
};

int main()
{
    foobar(S<double>{}, int{});
}

Reply via email to