This pitch is explicitly built on top of the one about local borrow and inout bindings.
borrow
inout