Enum Pattern 

pub enum Pattern {
    Wildcard(Span),
    Int(IntLit),
    NegInt(NegIntLit),
    Bool(BoolLit),
    Path(PathPattern),
    DataVariant {
        base: Option<Box<Expr>>,
        type_name: Ident,
        variant: Ident,
        bindings: Vec<PatternBinding>,
        span: Span,
    },
    StructVariant {
        base: Option<Box<Expr>>,
        type_name: Ident,
        variant: Ident,
        fields: Vec<PatternFieldBinding>,
        span: Span,
    },
}

A pattern in a match arm.

Variants

Wildcard(Span)

Wildcard pattern _ - matches anything

Int(IntLit)

Integer literal pattern (positive or zero)

NegInt(NegIntLit)

Negative integer literal pattern (e.g., -1, -42)

Bool(BoolLit)

Boolean literal pattern

Path(PathPattern)

Path pattern (e.g., Color::Red for enum variant)

DataVariant

Data variant pattern with bindings (e.g., Option::Some(x))

Fields

base: Option<Box<Expr>>

Optional module prefix

type_name: Ident

Enum type name

variant: Ident

Variant name

bindings: Vec<PatternBinding>

Bindings for each field

span: Span

StructVariant

Struct variant pattern with named field bindings (e.g., Shape::Circle { radius })

Fields

base: Option<Box<Expr>>

Optional module prefix

type_name: Ident

Enum type name

variant: Ident

Variant name

fields: Vec<PatternFieldBinding>

Named field bindings

span: Span

Implementations

impl Pattern

pub fn span(&self) -> Span

Get the span of this pattern.

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.

impl PartialEq for Pattern

fn eq(&self, other: &Pattern) -> 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 Eq for Pattern

impl StructuralPartialEq for Pattern