On Borrow Checking

[Timon Gehr]

On 5/3/25 23:30, Walter Bright wrote:
> On 5/2/2025 12:25 PM, Timon Gehr wrote:
>> `@live` however does not give you additional hard guarantees,
> It gives the guarantee of a borrow checker - one mutable owner, and many 
> immutable non-owners.
> ...

It does not.

> The other safety checks needed (like array overflow checks and escaping 
> stack pointers) are already in the language.

Whether a safety check is "needed" depends on what invariants the type 
system is able to establish and rely on in `@safe` code.