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 | 3 | 2634 | October 20, 2015 | |
|
Rust lifetimes semantics at mathematical level
|
12 | 3408 | January 21, 2018 | |
| Non-lexical lifetimes draft RFC + prototype | 9 | 2700 | August 1, 2017 | |
| Blog post: An alias-based formulation of the borrow checker | 19 | 7901 | January 22, 2019 | |
| Can the lifetimes be simpler? | 29 | 1671 | December 19, 2025 |