Increment both middle and destination pointers by one position. The behavior is undefined if this operation result in destination() entering the [ begin(), end() )] range.
Increment both middle and destination pointers by one position. The behavior is undefined if this operation result in destination() entering the [ begin(), end() )] range.