SourceSpan

Where part of a diagnostic applies: a span, and which unit it is in.

A diagnostic from check may point into any of the units checked together. A unit index is meaningful only within the check that produced it. Locations compare and hash by unit index and span.

Fields

span @ Span ^[get]

The region within that source.

unit @ (Int | nil) ^[get]

Zero-based index of the unit among those checked together, or nil for a location in the unit that reported the diagnostic.