Open
Description
Currently SourceSpans are required to have text associated with them. However, this isn't always possible; for example, spans extracted from source maps won't necessarily have the text of the source or target available, nor should they need to. We should make text optional and make union() resilient to this.