...call the GC, and cannot be the "owner" of the GC allocations it uses).

7...

...ptr;
}

void caller() {
	scope Thing owner;
	called(owner); // Error: owner would escape to an unknown...

Wait, so how would one force owner escape analysis to be enabled for manually heap...

Walter has stated that in the past, but it shouldn't necessarily mean we should...

In theory yes it's perfectly safe. However this example isn't meant to show...

But aren’t segfault always meant to be @safe anyway?
```d
int* x;
void main() @safe...

...void func(ref Top owner) @safe {
	int** field = &owner.field;
	// owner is now effectively const...

...void func(ref Top owner) @safe {
	int* field = owner.field;
	// owner is now effectively const...

...here, owner escape analysis only kicks in and forces effectively const on the owner if...

The description is getting clearer every revision, props for that. But it's also becoming...