Enum AirPattern 

pub enum AirPattern {
    Wildcard,
    Int(i64),
    Bool(bool),
    EnumVariant {
        enum_id: EnumId,
        variant_index: u32,
    },
    Bind {
        name: Spur,
        is_mut: bool,
        inner: Option<Box<AirPattern>>,
    },
    Tuple {
        elems: Vec<AirPattern>,
    },
    Struct {
        struct_id: StructId,
        fields: Vec<(u32, AirPattern)>,
    },
    EnumDataVariant {
        enum_id: EnumId,
        variant_index: u32,
        fields: Vec<AirPattern>,
    },
    EnumStructVariant {
        enum_id: EnumId,
        variant_index: u32,
        fields: Vec<(u32, AirPattern)>,
    },
    EnumUnitVariant {
        enum_id: EnumId,
        variant_index: u32,
    },
}

A pattern in a match expression (AIR level - typed).

Recursive shape introduced by ADR-0051. Wildcard, Int, Bool, and EnumVariant are the flat variants produced by the pre-ADR-0051 sema path; Bind, Tuple, Struct, EnumDataVariant, EnumStructVariant, and EnumUnitVariant are the recursive variants produced by the new lowering. During Phases 1-3 both encodings coexist; Phase 4 drops the flat EnumVariant.

Variants

Wildcard

Wildcard pattern _ - matches anything, binds nothing.

Int(i64)

Integer literal pattern (can be positive or negative).

Bool(bool)

Boolean literal pattern.

EnumVariant

Legacy flat enum-variant pattern produced by the pre-ADR-0051 lowering path. Kept for backward compatibility until Phase 4.

Fields

enum_id: EnumId

variant_index: u32

Bind

Bind the scrutinee (or its projection) to a local. inner is the sub-pattern applied to the same value; None is a bare binding, Some(p) is name @ p (not yet exposed in surface syntax).

Fields

name: Spur

is_mut: bool

inner: Option<Box<AirPattern>>

Tuple

Tuple dispatch; elems[i] applies to projection i.

Fields

elems: Vec<AirPattern>

Struct

Named-struct dispatch. Unlisted fields (from ..) become explicit Wildcard entries at sema lowering time.

Fields

struct_id: StructId

fields: Vec<(u32, AirPattern)>

EnumDataVariant

Enum data-variant dispatch. fields[i] applies to positional field i of the variant.

Fields

enum_id: EnumId

variant_index: u32

fields: Vec<AirPattern>

EnumStructVariant

Enum struct-variant dispatch. Same shape as Struct but tagged by variant.

Fields

enum_id: EnumId

variant_index: u32

fields: Vec<(u32, AirPattern)>

EnumUnitVariant

Unit enum variant. Recursive-lowering counterpart of the legacy EnumVariant.

Fields

enum_id: EnumId

variant_index: u32

Implementations

impl AirPattern

pub fn encode(&self, body: AirRef, out: &mut Vec<u32>)

Encode this arm as [body_ref, ...pattern_tree] appended to out. The pattern tree is self-describing: decoding consumes exactly the words this function produced (see decode_pattern_tree).

Trait Implementations

impl Clone for AirPattern

fn clone(&self) -> AirPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AirPattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AirPattern

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AirPattern

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

Formats the value using the given formatter.

impl Serialize for AirPattern

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.