ekuber

ekuber, 6 days ago

@mcc because lifetime analysis happens at two levels: at the item level, which only looks at declared lifetimes, and in item bodies, where the borrow checker knows when things are used and when they stop being used and checks against the externally declared lifetimes.

ekuber, 6 days ago

@mcc I think Niko has talked about supporting what you want with a special 'super lifetime to be used in expressions, where you can tell the borrow checker "this borrow is alive at the end of this block, I want you to extend it as long as it would if declared in its parent block".

ekuber, 6 days ago

@mcc (doing it automatically runs the risk of the equivalent of a memory leak, where you're silently holding on to a huge piece of memory while borrowing a small piece of it)