Knowing the declarations of the various names a piece of code uses is of course a requirement in order to understand what it does. In that example, there would

Knowing the declarations of the various names a piece of code uses is of course a requirement in order to understand what it does. In that example, there would always be a move or copy there, though there are scenarios in which it might be elided.