Idea: Borrowck Transparent Function Calls

josh:

However, you're talking about non-public methods, and a mechanism that doesn't cross crate boundaries. For that , the idea of a more automatic, less explicitly declared mechanism seems potentially reasonable. At the very least, it's worth considering.

I disagree: it is a strength of rust that the function signature is the border of reasoning (in both directions). It helps bound the amount of work the compiler has to do, which helps compilation time. It also helps bound the amount of things a human has to keep in their head. Finally it helps with compile errors, keeping the error near the issue (C++ templates is an example of where this doesn't happen and the errors are awful).

That is a strength I would hate to loose. I want to see a solution to this issue, but it need to be an explicit solution, not an implicit one.