I hate class destructors with a burning passion

[Ola Fosheim Grøstad]

On Thursday, 10 June 2021 at 17:53:17 UTC, Steven Schveighoffer 
wrote:
> You're not wrong, but it doesn't fix existing code which might 
> not have done it that way.

The whole idea of executing imperative code in contracts is 
pretty daft to begin with, makes it much harder for the optimizer 
to get rid of it.

Ideally a contract should just be a simple boolean expression 
that the calling context would get rid of by proof/optimization.

How many people use contracts as implemented?