http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56267
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-10 23:00:34 UTC --- Thanks Jon for fully handling this. I understand that in principle we could have checked is_nothrow_default_constructible, but it's of course much better if we can just use operations guaranteed by the Standard and be done with it. If you remember, the is_default_constructible check made me a little nervous from the start...
