On Borrow Checking

[Meta]

On Wednesday, 7 May 2025 at 23:21:12 UTC, 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. 
> A function attribute is not really the right way to go about 
> this anyway. Aliasing is a property of a pointer, not a 
> function.

And this is exactly what Rust does with the borrowed/raw pointer 
distinction. Walter how can you claim to have studied the Rust 
spec yet miss and/or disregard this fundamental detail? And do 
not bring up that extremely outdated and irrelevant example of 
near/far pointers in DOS.