On Borrow Checking

[Richard (Rikki) Andrew Cattermole]

On 11/05/2025 12:51 AM, Timon Gehr wrote:
> If this is really your perspective, it is better to just drop borrow 
> checking as a direction. It seems your design constraints are self- 
> contradictory assuming that utility is one of them. The current design 
> does not incentivize people to use it, it just makes it not very useful.

I'm inclined to suggest @live is still savable, tie it to @restrict and 
it'll be useful to people doing SIMD type data processing.

However that isn't borrow checking, that is something new that I don't 
think is in the literature currently.