A user-declared destructor that does not supply an exception specification should be considered as if declared noexcept(true) rather than noexcept(false).

(Duplicate of issue 1123.)