How does Region Inference work?

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