On Borrow Checking

[jmh530]

On Tuesday, 29 April 2025 at 20:40:51 UTC, Timon Gehr wrote:
> On 4/29/25 19:12, Walter Bright wrote:
>> [...]
>
> I am fully on board with your high-level fundamentals here.
>
> 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.
>

Hmm, for some reason I thought @live only worked with @safe code, 
like DIP 1000, but I when I scan over the @live documentation I 
don’t see any reference to @safe.