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 | 2564 | March 25, 2019 | |
Rust lifetimes semantics at mathematical level
|
13 | 3072 | March 25, 2019 | |
Blog post: An alias-based formulation of the borrow checker | 20 | 7487 | April 22, 2019 | |
Short-lived inference contexts | 1 | 957 | March 25, 2019 | |
Inferring lifetimes in simple cases | 1 | 1070 | March 25, 2019 |