Rationale:

This is a general problem with the exception classes in clause 18. The proposed resolution is to remove the destructors from the class synopses, rather than to document the destructors' behavior, because removing them is more consistent with how exception classes are described in clause 19.

Proposed resolution:

Remove the destructor from the class synopses of bad_alloc ([bad.alloc]), bad_cast ([bad.cast]), bad_typeid ([bad.typeid]), and bad_exception ([bad.exception]).

The synopsis for std::bad_exception lists the function ~bad_exception() but there is no description of what the function does (the Effects clause is missing).