http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31397
Ville Voutilainen <ville.voutilainen at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ville.voutilainen at gmail | |dot com --- Comment #14 from Ville Voutilainen <ville.voutilainen at gmail dot com> 2011-07-09 12:54:40 UTC --- "[[base_check]]" or "explicit" on a class might've been helpful for this, but even those facilities were never supposed to require annotations on destructors. The committee ended up removing that part because there were grammar problems for "new" on members, and we didn't want to add base_check/explicit that would check only overrides.