But this is defective, right? Since
union
doesn't automatically call the member destructor, it shouldn't affect noexceptness of the enclosing class destructor.