https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100612
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- The standard could support this by saying that if the function object is a pointer to member function then the requirement is is_invocable_v<decay_t<F>, Arg0, stop_token, decay_t<ArgsN>...> where Are is the first argument in the pack, and ArgsN is the rest of the pack. But that's not what the standard says.