Rotate is a no-op if lo == mid or mid == hi.