https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126406
--- Comment #2 from Kael Franco <kaelfandrew at gmail dot com> ---
(In reply to Cassio Neri from comment #0)
> template<typename F>
> void invoke(F&&) noexcept(__is_nothrow_invocable(F)) {
> }
>
> void f();
>
> static_assert(invoke<decltype(f)>);
r16-5967-gbae0ed69e1862a
