I would be happier if it would return `null` if there is no intersection. As I see it, the collapsed range is only a consequence of setting the end to a position that precedes the start.

What makes much more sense:

1. *Uncollapsed range*: They have an actual overlap.
2. *Collapsed range*: Their ends touch.
3. *`null`*: They are disjoint.