...owner;
int* borrowed = identity(&owner); // Due to `&owner` `borrowed` has a strong relationship to `owner...

...default in D.

For D even with owner escape analysis, there is no reason for...

Sounds good.

How often do you have multiple ref/out parameters and will be escaping to all...

That’s what I meant—there are situations where you can’t reassign the pointer even though it’s...

...here.

Lets say you don't have owner escape analysis (so just DIP1000).
And you...

Word of warning on @live, for owner escape analysis to function, you must have escape...

...any owners.

I.e. this will work:

```d
int* borrowed = acquire(owner);

borrowed = new int;
```

Unfortunately I never used DIP1000 much. I do like the look of your pattern though...

Hey, this is something I can actually understand. DIP1000 is so confusing in the semantics...