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.

Reply via email to