Just to check, are you interested in what stable Rust does today, or the brand new algorithms that are still under the “NLL” feature? I think the new logic is mostly documented at https://github.com/rust-lang/rfcs/blob/master/text/2094-nll.md, though the details may change again: Blog post: An alias-based formulation of the borrow checker
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Rough thoughts on the impl of region inference, MIR, etc | 4 | 2566 | March 25, 2019 | |
Rust lifetimes semantics at mathematical level
|
13 | 3160 | March 25, 2019 | |
Non-lexical lifetimes draft RFC + prototype | 10 | 2606 | March 25, 2019 | |
Blog post: An alias-based formulation of the borrow checker | 20 | 7596 | April 22, 2019 | |
Can the lifetimes be simpler? | 24 | 892 | March 13, 2025 |