On Friday, 1 August 2014 at 04:51:06 UTC, eles wrote:
assert(0) is a special contract that requires no code for its verification, as it obviously fails. This is why the compiler will always make it a halting point, in all builds."
This is wrong. As I have shown over in the other thread, the semantics Walter intended (and that are currently implemented in DMD, LDC and probably GDC) for assert(0) have nothing to do with what a false assertion would normally entail, but are merely a halt/abort/trap/… intrinsic.
Cheers, David
