Idea: Borrowck Transparent Function Calls

That's true, though that might make borrow checking more complex. Syntactically it'd be easy enough to have (for instance) &{view1, mut view2, mut view3} self. Semantically, we'll have to see if that's worth the added complexity.