http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52702
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-15 13:43:51 UTC --- Daniel I'm adding this. By the way, is "is_nothrow_destructible" doable just now or needs compiler support? Are you willing to give it a try, in case? (or, if necessary, I can do the compiler bits) It would complete our implementation of the is_nothrow_* set.