Assert and the optional Message

[Timon Gehr]

On 03/09/2012 10:43 PM, Jonathan M Davis wrote:
...
>>
>> Jonathan is just speculating. And I think he is wrong.
>
> Speculating about what?
>
> - Jonathan M Davis

About how assertion failures affect struct destructors, finally 
statements and scope statements. If they wouldn't be executed upon 
thrown AssertError, then a _passing_ in contract could screw up the 
program state. Furthermore, the implementation does execute them.