On Borrow Checking

[Walter Bright]

On 5/7/2025 4:21 PM, Timon Gehr wrote:
> On 5/7/25 16:47, jmh530 wrote:
>>
>> I can think of a few different ways forward (by no means limited to just this)
> 
> Well, the big issue here is that @live is still not transitive.

We are all well aware of the problems with transitive attributes. Making @live 
transitive means that nobody will ever use it, no matter how good it is. People 
keep asking for a non-transitive @nogc.

> A function 
> attribute is not really the right way to go about this anyway. Aliasing is a 
> property of a pointer, not a function.

Attaching it to a pointer means nobody will use it, because they'll have to redo 
their entire program.