Safe Regions with Deterministic Destruction

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Mon Oct 26 21:32:07 UTC 2020


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.



More information about the Digitalmars-d mailing list