http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52702
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-15 14:30:19 UTC --- Ah, I see, I didn't know about that DR. Then, sure, whenever you like it would be great if you could contribute is_nothrow_destructible too: should not be much more controversial than is_destructible itself (which you contributed already and I'm going to use for is_trivially_destructible of course) Let's keep in touch!