On Borrow Checking

[Walter Bright]

On 4/29/2025 1:40 PM, Timon Gehr wrote:
> However, I do not agree that `@live` really lives up to them. It's a 
> borrow-checking-inspired linting tool for primarily `@system` code. It is not 
> the kind of innovative tool people are likely to expect to find in the toolbox 
> going forward.

I'm aware that you and I disagree on the details! But I'm reluctant to invest 
more time on it given the decided general lack of interest in it.

P.S. maybe we can have a great discussion on it at Dconf! I was very pleased 
with how our rvalue discussion went last time.


> At least my expectation would be that this is a borrow checker that plays nice 
> with a language supporting memory safe mutable aliasing while providing memory 
> safety guarantees for `@nogc` code when it is used.