Disallow null references in safe code?

[Adam D. Ruppe]

On Saturday, 1 February 2014 at 01:14:07 UTC, Xinok wrote:
> I don't know where the community currently stands on 
> non-nullable types in D, so this idea may be based on a bit of 
> ignorance.

I've written a couple candidates:

http://arsdnet.net/dcode/notnull.d

and

http://arsdnet.net/dcode/notnullsimplified.d

The second one is a much simpler implementation that I think 
covers the same bases. Gotta try it all in real world code 
though..