Re: 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?