fn intersects(a: Span, b: Span) -> bool
Closed intersection over half-open spans: a cursor request (an empty range) sitting on either boundary of the diagnostic still matches.