Automatic invariant generation

[Nicholas Wilson via Digitalmars-d]

On Friday, 7 July 2017 at 14:26:57 UTC, Steven Schveighoffer 
wrote:
> Hm... it doesn't look like an invariant, it just looks like an 
> inserted assert inside every function.
>

Ahh, thats why I get duplicate asserts when I add an assert.

> And since when did we care about null pointers causing 
> segfaults?
>
> Can anyone vouch for this feature?
>
> -Steve

Not me.