The current implementation of $rename prohibits any rename with an identical source and destination path but includes a TODO noting that we could instead treat this operation as a no-op.

If we do want to make that change, now would be a good time, as we are making backwards-incompatible changes to update functionality.