See [range.lazy.split.inner].