Borrow Checking and Ownership Transfer

[Walter Bright]

On 5/9/2025 11:28 AM, Richard (Rikki) Andrew Cattermole wrote:
> This is what our DIP1000 attempts to do poorly.

The concept of DIP1000 is solid. It does an excellent job (sans bugs) of 
preventing escaping pointers to the stack.

The problem is fitting it into the various high level constructs that D has, and 
the confusing attributes needed to inform the function interface of the status 
of its arguments.

DIP1000 does not need to do flow analysis, and does not attempt it, but the 
borrow checker does need it.