https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107600
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- The new built-in seems wrong for function types: static_assert( not __is_destructible(int()) ); static_assert( not __is_nothrow_destructible(int()) ); static_assert( not __is_trivially_destructible(int()) );