DIP44: scope(class) and scope(struct)

[Tobias Pankrath]

On Saturday, 24 August 2013 at 13:34:06 UTC, Joseph Rushton 
Wakeling wrote:
> On 24/08/13 02:44, H. S. Teoh wrote:
>> I've written up a proposal to solve the partially-constructed 
>> object
>> problem[*] in D in a very nice way by extending scope guards

> Is there any way to handle this needed-at-entry-to-scope 
> requirement, in a similar way to how your DIP handles exit of 
> scope?

Invariants?