I think one of the priority documentation item is borrow scopes, i.e. how long something is considered to be borrowed. All examples in ownership chapter of TRPL are let bindings.

The following issue is relevant, and I think the issue should get higher priority than P-low.

https://github.com/rust-lang/rust/issues/12032

Here is my understanding of current rules: