Non-nullable references, again

[Daniel Keep]

Denis Koroskin wrote:
> [snip]
> 
> You took the idea slightly wrong. The default should be non-nullable,
> 
> Foo foo = null; // error
> Nullable!(Foo) foo2 = null; // ok

I didn't suggest that because it would require semantically breaking all 
existing OOP code in D.  I went with a proxy struct idea since that 
could conceivably be implemented in a library, and provide a stepping 
stone to full non-nullable by default.

> [snip]
 >
>> It also just occured to me that this would probably break scope.  Damn.
>>
> 
> Scope is not broken. Quite the contrary, it goes on par with its meaning 
> - scope variable can't be null-initialized (it makes no sense at least).

I was referring to the case of using a proxy struct.

scope NonNull!(Foo) bar = new Foo;

AFAIK, this wouldn't have the desired behaviour (auto-collecting bar at 
the end of scope.)

   -- Daniel