Idea: Borrowck Transparent Function Calls
Rust Internals [Unofficial]
March 22, 2026
I believe it would be. The reason is that currently, if I want the equivalent of some values being mutable and others not, or for that matter "splitting the self-borrow", the relevant values cannot be part of Self at all, and need to be passed in as separate arguments.
While that works, it can be a lot of refactor work at times, depending on the context, and lacking automated refactoring tools, that all becomes manual work on the plate of the developer. In addition, it's also not the most discoverable solution. It is a mitigation strategy I only learned about after having > 5 years of Rust experience.
Discussion in the ATmosphere