OT: How to initialize *non-null reference* lazily? WAS: Re: Proposal : allocations made easier with non nullable types.

[Denis Koroskin]

Note there exists an *very* similar issue - invariant/immutable variables initialization:

class Bar : Base
{
    invariant this()
    {
        // how would you initialize _x and _y?
        // they should be initialized before 'this' laves the scope
        // and before super() ("Foo x()" might be called by base class)
    }

    invariant Foo x()
    {
        return _x;
    }  

    private invariant Foo _x, _y;
}

My proposed rules apply to this situation quite the same.