extension to scope

[Max Samukha]

>P.S.
>Ideally, of course, you'd be allowed to declare members as 'scope', so 
>that they always get deleted when the referencing object is. 
>Unfortunately, this is not currently allowed.
>(A way to implement this would be to 'inline' scoped members)

It seems like this feature would beat the .NET Framework's
disposal/finalization approach. Would it be hard to implement in the
compiler?