Hmm, I tried some variations on the topic sentence (e.g. "this is used to move values around the mutable location without any invalidation") but that was ultimately unsuccessful. After all, most uses of `std::mem::replace` in the standard library fit to this description, in such that they can be replaced with plain assignments if the borrow checker is a lot smarter. Any suggestion?