The documentation is identical to `copy_lifetime()`. I realize the function name and type signatures will explain what actually makes this different, but it might be reasonable to say "the second mutable pointer" just to clarify.