Contract checking (Re: enforce()?)

[bearophile]

Jay Byrd:
> This is all very confused, and is reflected in D implementing contracts all wrong.

If you know well the ideas of DbC, and you think there are some problems in the DbC of D2, then I suggest you to not just write what's wrong, why it is wrong and what bad things such wrong design may cause, and what you suggest to change, starting from the most important changes.

Maybe Walter will change nothing, but if you write just a little rant where you say that all is wrong, probably nothing will change, and what you have written is useless.

Bye,
bearophile