Safe Regions with Deterministic Destruction

[Ola Fosheim Grøstad]

On Tuesday, 27 October 2020 at 06:16:11 UTC, ag0aep6g wrote:
> `scope` isn't transitive. It just applies to the pointers in 
> the variable (i.e. `t.root`).

But technically the t.root pointer address is a value, so 
apparently scope does not apply only to t, but also to the member 
root?

So if Node was a linked list, then t.root is limited by escape 
analysis, but not t.root.next?

I don't think t.root should be limited by scope.