Safe Regions with Deterministic Destruction

[ag0aep6g]

On 26.10.20 22:10, Per Nordlöw wrote:
> Reduced:
> 
> class Node {}
> 
> struct Tree
> {
>      Node root;
> }
> 
> @safe unittest
> {
>      Node f() { auto  t = Tree(); return t.root; } // shouldn't this 
> error aswell?
>      Node g() { scope t = Tree(); return t.root; } // errors
> }

You've reduced that a bit too much. There's nothing unsafe left in the 
code. `g` only errors, because you're using `scope` to tell the compiler 
that `t.root` is dangerous (when it's not actually).