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.
