Struct IndexVariantRef 

pub struct IndexVariantRef {
    pub variant: ResolvedIndexVariant,
    pub index_span: Option<Span>,
    pub variant_span: Span,
}

A resolved index-variant reference with the source spans of its two written segments kept separate.

The index segment and the variant segment are not necessarily adjacent: table desugaring reuses the table[Axis] axis token’s span as the index span of every row key, so a single merged span would cover unrelated source (and make different rows’ spans contain each other). Keeping the segments separate lets diagnostics on contiguous Index.Variant paths use the whole written path (IndexVariantRef::path_span) while span-precise consumers (rename, find-references) address exactly the variant segment.

Fields

variant: ResolvedIndexVariant

The resolved index variant.

index_span: Option<Span>

Span of the index path as written (Maneuver in Maneuver.Departure, or the axis token inside table[...] for desugared table rows). None when the variant is written without an index segment (a bare label in a match pattern whose index is inferred).

variant_span: Span

Span of just the variant segment (the final path segment / row label).

Implementations

impl IndexVariantRef

pub fn path_span(&self) -> Span

Whole-reference span for diagnostics on contiguous Index.Variant paths. For desugared table rows the index segment lives inside table[...], so prefer Self::variant_span there.

Trait Implementations

impl Clone for IndexVariantRef

fn clone(&self) -> IndexVariantRef

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IndexVariantRef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for IndexVariantRef

impl PartialEq for IndexVariantRef

fn eq(&self, other: &IndexVariantRef) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for IndexVariantRef