Editions Ideas

[Timon Gehr]

On 1/17/26 03:36, Richard (Rikki) Andrew Cattermole wrote:
> On 17/01/2026 6:23 AM, jmh530 wrote:
>> Your point is that library writers should write smart pointers that 
>> use @live, but users shouldn't need to worry about it. I don't have a 
>> sense if that is actually something that would work out.
> 
> That isn't how @live works.
> 
> @live checks that function it is applied to and only that function.
> 
> It is applied by the user on the user's code.
> 
> Library types have NOTHING TO DO WITH IT.
> 
> I do not understand why Atila brought these types up about @live, its 
> completely unrelated.
> 

The whole point was: "@live is not that useful, do this other thing 
instead." The overlap is that both would do borrow checking. Walter said 
`@live` is inspired by Rust type checking rules. Rust does something 
that is unrelated enough for you to not understand how its related.