> In particular if all I have is a mutable reference, and no way to make a T surely there's no way to call that second function ? That is true, but imagine tha

> In particular if all I have is a mutable reference, and no way to make a T surely there's no way to call that second function ? That is true, but imagine that you replaced ALL “pass by mutable reference” with the “inout” pattern. That is essentially what vale is doing. And it functionally achieves the same thing (giving temporary ownership to a function).