[range.split.outer.value] (original) (raw)

See [range.lazy.split.outer.value].