[article] Language Design Deal Breakers

[deadalnix]

On Monday, 27 May 2013 at 08:06:48 UTC, Jonathan M Davis wrote:
>> That is not enough. NotNull must be initialized, so the 
>> compiler
>> have to track initialization in way it don't do today. This is
>> the exact same processing required to ensure non null 
>> references.
>
> @disable this(); would solve that.
>

That is the point, the logic required to support @disable this is 
the exact same that the one required to support non null. That is 
the freaking same thing : track initialization and yell at the 
programmer when you can't find it.