Remus

[bearophile]

Namespace:

> A short question: what ist your imagination of a perfect 
> not-null references? What should they can do, how they should 
> assigned? Only with (valid) lvalues, or even with rvalues? Tell 
> me a bit of your thoughts.

I put some partial notes here:
http://d.puremagic.com/issues/show_bug.cgi?id=4571

See in particular:
http://research.microsoft.com/pubs/67461/non-null.pdf

Bye,
bearophile