Making AssertError a singleton

[Timon Gehr via Digitalmars-d]

On 13.12.2016 01:57, Andrei Alexandrescu wrote:
> On 12/12/16 4:35 PM, Brad Roberts via Digitalmars-d wrote:
>> Of course, then you'll find the fun of all the tests (and probably code)
>> that catch AssertError.
>
> You can catch AssertError. There's no guarantees dtors have been called
> during unwinding. -- Andrei


If 'in'-contracts are not allowed to corrupt the program state, then I 
don't really see how implementations will be able to not call dtors.