Re: status of D optimizers benefiting from contracts ?

[bearophile via Digitalmars-d-learn]

H. S. Teoh:

It's only a bad idea because people abuse assert() where it's 
not appropriate.

It's a bad idea because Walter seems unable to understand the 
difference between verifying and proving.

Bye,
bearophile