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.
