Disallow null references in safe code?

[deadalnix]

On Monday, 3 February 2014 at 03:49:20 UTC, Andrei Alexandrescu 
wrote:
> No matter. The point is the dereference will not be dead to the 
> optimizer.
>
> Andrei

I see. But how would you add these without adding thousand of 
them all over the place ?