On Borrow Checking

[Richard (Rikki) Andrew Cattermole]

On 02/05/2025 7:44 PM, Manu wrote:
> On a slight tangent; why do I need to attribute the function at all for 
> it to check `scope` args don't escape?
> I do want to add `scope` to pointers and ref arguments, but I don't see 
> any reason that I should have to attribute `live`... why isn't `scope` 
> enough to enable escape analysis?

DIP1000 was the escape analysis meant to be enabled by scope.

And it can't be turned on.