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.