On Friday, 12 December 2014 at 07:48:21 UTC, Walter Bright wrote:
I don't see how this is related. It would be perfectly ok to
declare root of
such tree scope if it was transitive (as long as it only
controls access and
does not attempt early destruction).
Are you suggesting two kinds of scope - transitive and
non-transitive?
The more I think about it, the more ref counting is the
definitive case, as just about everything else can be explained
in terms of how ref counting works.
I don't see applicability of non-transitive scope because I don't
understand the problem with the tree or reference counting you
have mentioned - that is why I suggested to amend DIP to put
explanation there.