For info on how the current borrowck works, see the [rustc dev guide].

[rustc dev guide]: https://rustc-dev-guide.rust-lang.org/borrow_check.html