DIP44: scope(class) and scope(struct)

[Simen Kjaeraas]

On Sat, 24 Aug 2013 15:55:52 +0200, Tobias Pankrath <tobias at pankrath.net>  
wrote:

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

I would also like to mention @disable this();

-- 
Simen