Enum MatchPattern 

pub enum MatchPattern {
    Path {
        path: IdentPath,
        bindings: Vec<PatternBinding>,
        span: Span,
    },
    Constructor {
        name: Spanned<ConstructorName>,
        bindings: Vec<PatternBinding>,
        span: Span,
    },
    IndexLabel {
        index: Spanned<NamePath>,
        variant: Spanned<IndexVariantName>,
        span: Span,
    },
}

A match pattern: Impulsive(delta_v: dv), Nominal, Maneuver.Departure.

Variants

Path

Syntactic path pattern before semantic categorization.

The parser emits this for both constructor-looking and index-label-looking patterns. Name resolution may rewrite it to Self::Constructor or Self::IndexLabel only when it can prove that categorization from the local symbol context. Qualified paths that require module-aware lookup remain syntactic paths instead of being half-resolved.

Fields

path: IdentPath

bindings: Vec<PatternBinding>

span: Span

Constructor

Tagged-union constructor pattern: Impulsive(delta_v: dv) or Nominal.

Fields

name: Spanned<ConstructorName>

bindings: Vec<PatternBinding>

span: Span

IndexLabel

Named-index label pattern: Maneuver.Departure.

Index labels are fieldless, so this variant deliberately has no binding payload. This variant is semantic: producers should construct it only after proving that the path denotes an index variant.

Fields

index: Spanned<NamePath>

variant: Spanned<IndexVariantName>

span: Span

Implementations

impl MatchPattern

pub const fn span(&self) -> Span

pub fn bindings(&self) -> &[PatternBinding]

Trait Implementations

impl Clone for MatchPattern

fn clone(&self) -> MatchPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchPattern

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

Formats the value using the given formatter.

impl FormatEquivalent for MatchPattern

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.