Automatic invariant generation

[Nicholas Wilson via Digitalmars-d]

On Sunday, 9 July 2017 at 11:13:02 UTC, Walter Bright wrote:
> On 7/7/2017 7:08 AM, Nicholas Wilson wrote:
>> It is certainly unacceptable in the long run to demand that if 
>> users wish to use DCompute that they can't have asserts _in 
>> the code running in the host_.
>
> One thing you can do is replace:
>
>     assert(i > 3);
>
> with:
>
>     if (!(i > 3)) assert(0);
>
> which won't be removed with -release, and the only bloat will 
> be a lovely HLT instruction.

Of course I could do that for _my_ code , but I am not every end 
user, and even if I was doing the above is not a good use of my 
time.

And this wouldn't be so bad if it were code that I or someone 
else had written, but the fact that the compiler inserts it and I 
didn't ask for it and, save from hacking the compiler, I can't 
make it do otherwise.