Walter Bright:
That's a good point. You could reasonably argue that such an
optimization should not happen.
I agree. Turning D assert() in a kind of a assert-assume hybrid
will be a mistake.
I think you are still missing the essential difference between
assume and assert.
How does assume improve the situation?
I didn't ask for an assume in this thread. See what I am asking
for:
http://forum.dlang.org/thread/jrxrmcmeksxwlyuit...@forum.dlang.org?page=22#post-kjqjompjdhmbmzyhbzbb:40forum.dlang.org
The answer I've given to Andrei is generic, but I can give more
details.
Bye,
bearophile
