https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71579
--- Comment #23 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, that's my reading of it. I need to check what other compilers do for __has_virtual_destructor and check the docs. Maybe libstdc++ should only use it for class types.
