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. The other safety checks needed (like array overflow checks and escaping stack pointers) are already in the language.