Enum RirPattern 

pub enum RirPattern {
    Wildcard(Span),
    Int(i64, Span),
    Bool(bool, Span),
    Path {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        span: Span,
    },
    DataVariant {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        bindings: Vec<RirPatternBinding>,
        span: Span,
    },
    StructVariant {
        module: Option<InstRef>,
        type_name: Spur,
        variant: Spur,
        field_bindings: Vec<RirStructPatternBinding>,
        span: Span,
    },
    Ident {
        name: Spur,
        is_mut: bool,
        span: Span,
    },
    Tuple {
        elems: Vec<RirPattern>,
        rest_position: Option<u32>,
        span: Span,
    },
    Struct {
        module: Option<InstRef>,
        type_name: Spur,
        fields: Vec<RirStructField>,
        has_rest: bool,
        span: Span,
    },
    ComptimeUnrollArm {
        binding: Spur,
        iterable: InstRef,
        span: Span,
    },
}

A pattern in a match expression (RIR level - untyped).

Recursive shape introduced by ADR-0051 Phase 4: Ident, Tuple, and Struct variants let astgen carry source-level nesting straight to sema instead of pre-elaborating tuple/struct match roots. The existing variant-pattern shapes (DataVariant, StructVariant) are unchanged; nested sub-patterns inside variant fields still go through the elaboration layer until a follow-up RIR migration replaces their flat bindings with RirPattern leaves.

Variants

Wildcard(Span)

Wildcard pattern _ - matches anything

Int(i64, Span)

Integer literal pattern (can be positive or negative)

Bool(bool, Span)

Boolean literal pattern

Path

Path pattern for enum variants (e.g., Color::Red or module.Color::Red)

Fields

module: Option<InstRef>

Optional module reference for qualified paths (e.g., the module in module.Color::Red)

type_name: Spur

The enum type name

variant: Spur

The variant name

span: Span

Span of the pattern

DataVariant

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

Fields

module: Option<InstRef>

Optional module reference for qualified paths

type_name: Spur

The enum type name

variant: Spur

The variant name

bindings: Vec<RirPatternBinding>

Bindings for each field

span: Span

Span of the pattern

StructVariant

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

Fields

module: Option<InstRef>

Optional module reference for qualified paths

type_name: Spur

The enum type name

variant: Spur

The variant name

field_bindings: Vec<RirStructPatternBinding>

Named field bindings

span: Span

Span of the pattern

Ident

Name binding x or mut x (ADR-0051). Used at the arm root or as a sub-pattern inside Tuple / Struct. Equivalent to x @ _.

Fields

name: Spur

is_mut: bool

span: Span

Tuple

Tuple pattern (p0, p1, ...) (ADR-0051). elems carries the explicit sub-patterns only; rest_position records where a .. rest marker appeared so sema can expand it to wildcards filling the scrutinee’s arity. None means no rest; Some(i) means the rest was written at source index i (so elems[..i] are the prefix and elems[i..] the suffix).

Fields

elems: Vec<RirPattern>

rest_position: Option<u32>

span: Span

Struct

Named-struct pattern TypeName { field: pat, .. } (ADR-0051). has_rest marks an explicit .. trailing the field list.

Fields

module: Option<InstRef>

type_name: Spur

fields: Vec<RirStructField>

has_rest: bool

span: Span

ComptimeUnrollArm

ADR-0079 Phase 3: a comptime_unroll for arm template. Sema evaluates iterable at comptime, synthesizes one regular arm per element, and substitutes binding as a comptime value in the arm body. Only valid at the top level of a match arm.

Fields

binding: Spur

iterable: InstRef

span: Span

Implementations

impl RirPattern

pub fn span(&self) -> Span

Get the span of this pattern.

Trait Implementations

impl Clone for RirPattern

fn clone(&self) -> RirPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RirPattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RirPattern

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for RirPattern

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

where __S: Serializer,

Serialize this value into the given Serde serializer.