Enum Pattern 

pub enum Pattern {
    Wildcard(Span),
    Binding(Ident),
    Literal {
        value: LiteralValue,
        span: Span,
    },
    Variant {
        type_name: Option<Ident>,
        variant: Ident,
        bindings: Vec<PatternBinding>,
        span: Span,
    },
}

A pattern (v0.2 §3.8). Patterns appear in match arms and as the right-hand side of the is operator.

Variants

Wildcard(Span)

_ — matches any value, no bindings.

Binding(Ident)

A lowercase identifier — binds the whole value to name and matches anything (ADR 0169). At the top of a match arm it binds the scrutinee (n if n > 0 => …); inside a payload position it binds the field (Some(user)). The uppercase-led counterpart is a nullary Pattern::Variant.

Literal

A literal pattern — 31, "english", true (v0.130 §2.3.4). Matches a primitive scrutinee (Int/String/Bool) by value equality. The admitted set mirrors ADR 0001’s closed literal set (integers — including a leading unary minus — strings, and booleans); Float/() are not admitted as patterns.

Fields

value: LiteralValue

span: Span

Variant

Variant or Variant(bindings) or TypeName.Variant(bindings). Each payload binding is itself a Pattern (ADR 0169), so payloads nest: Some(Ok(x)), Err(PollClosed).

Fields

type_name: Option<Ident>

Optional qualifier: TypeName.Variant.

variant: Ident

The variant name.

bindings: Vec<PatternBinding>

Payload bindings (empty for nullary variants).

span: Span

Implementations

impl Pattern

pub fn span(&self) -> Span

pub fn bound_names(&self) -> Vec<&Ident>

Every identifier this pattern binds into scope, recursively (_ and nullary variants bind nothing). Used by the resolver and the checker to populate an arm’s scope, and by the guard to see the arm’s bindings.

pub fn is_wildcard(&self) -> bool

True when this pattern matches every value and binds nothing — a bare _. A Pattern::Binding also matches everything but does bind, so it is not a pure wildcard.

pub fn is_irrefutable(&self) -> bool

True when this pattern matches every value (a _ or a name binding), i.e. it is irrefutable and covers the position for exhaustiveness.

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Pattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pattern

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

Formats the value using the given formatter.