http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452
--- Comment #7 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2011-12-09 15:57:15 UTC --- Please note that this issue here is a simply a dup of bug 51295, which is a compiler defect and *not* a library problem. See [class.dtor] p3: "A declaration of a destructor that does not have an exception-specification is implicitly considered to have the same exception-specification as an implicit declaration (15.4)." I hadn't looked at the actual example until Dave was describing effects on the LWG reflector that are obviously in contradiction to the core language. I repeat: The test case should be well-formed with the existing is_constructible definition once the compiler defect is fixed.
