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 | 2608 | March 25, 2019 | |
|
Rust lifetimes semantics at mathematical level
|
13 | 3308 | March 25, 2019 | |
| Non-lexical lifetimes draft RFC + prototype | 10 | 2650 | March 25, 2019 | |
| Blog post: An alias-based formulation of the borrow checker | 20 | 7784 | April 22, 2019 | |
| Can the lifetimes be simpler? | 29 | 1516 | December 19, 2025 |