Contract checking (Re: enforce()?)

[bearophile]

Norbert Nemec:

Thank you for your clear explanations of the situation.

> With FP/DG, this breaks 
> down and I believe the best one can do is to implement contracts as 
> run-time checks in the callee, just as it is done in D.

There is also a mixed strategy: to use run-time checks in the callee for FP/DG, and something better for the other situations (FP/DG are present in D2 programs, but they aren't used everywhere).

Bye,
bearophile