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{}); }