Problem with allowing exceptions to be thrown from dtors

[Walter Bright]

Stewart Gordon wrote:
> Walter Bright wrote:
> 
>> Allowing an uncaught exception to escape a destructor is always a bad 
>> idea, and should be explicitly illegal.
> 
> With function calls, DBC, ABC and the like to consider, how do you think 
> you're going to get on with enforcing such legislation?

The same way C++ does - through documentation. I don't think there is 
any other way.