Safe Regions with Deterministic Destruction

[Ola Fosheim Grøstad]

On Monday, 26 October 2020 at 21:10:21 UTC, Per Nordlöw wrote:
> On Monday, 26 October 2020 at 19:47:57 UTC, Per Nordlöw wrote:
>     Node f() { auto  t = Tree(); return t.root; } // shouldn't 
> this error aswell?
>     Node g() { scope t = Tree(); return t.root; } // errors

Node is assumed to be gc allocated, but scope is transitive?
It would be easier to reason about if D had a gcpointer type.