Struct MatchArm 

pub struct MatchArm {
    pub pattern: Pattern,
    pub body: Box<Spanned<Expr>>,
    pub binding_slots: OnceLock<Vec<u16>>,
}

Fields

pattern: Pattern

body: Box<Spanned<Expr>>

binding_slots: OnceLock<Vec<u16>>

Per-arm slot table for the pattern’s bindings, in pattern order. Filled by the resolver pass; backend code reads from here instead of doing a name lookup, so two arms with the same binding name (e.g. deadline showing up in both TaskCreated and DeadlineSet with different field types) get separate slots without colliding in the function-level slot table. Wildcard-position bindings (_) are stored as u16::MAX and must never be read.

Implementations

impl MatchArm

pub fn new(pattern: Pattern, body: Spanned<Expr>) -> Self

Build a fresh arm with no binding-slot stamp yet — resolver fills binding_slots after slot allocation. Use this from any site that synthesises an arm (parser, AST rewrites, effect lifting, tests).

pub fn new_boxed(pattern: Pattern, body: Box<Spanned<Expr>>) -> Self

Trait Implementations

impl Clone for MatchArm

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 MatchArm

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

Formats the value using the given formatter.

impl PartialEq for MatchArm

fn eq(&self, other: &Self) -> 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.