Enum Pattern 

pub enum Pattern {
    Wildcard,
    Bind(LocalId),
    LitInt(i64),
    LitBool(bool),
    LitStr(String),
    Variant {
        sum: DefId,
        variant: u32,
        binders: Vec<Option<LocalId>>,
    },
}

Patterns after checking. Phase 1 supports flat patterns: variant destructuring binds directly to locals (or discards with None).

Variants

Wildcard

_

Bind(LocalId)

A catch-all binding: n => ...

LitInt(i64)

LitBool(bool)

LitStr(String)

Variant

Variant(a, _, c) — one binder slot per payload field.

Fields

sum: DefId

variant: u32

binders: Vec<Option<LocalId>>

Trait Implementations

impl Clone for Pattern

fn clone(&self) -> Self

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.