Enum IrPat 

pub enum IrPat {
    Wild,
    Bind {
        local: String,
    },
    Const {
        value: ConstVal,
    },
    Variant {
        scrutinee_ty: TyId,
        tag: String,
        fields: Vec<(String, Box<IrPat>)>,
    },
    Refined {
        inner: Box<IrPat>,
        refinement: Refinement,
    },
    Or {
        alts: Vec<IrPat>,
    },
}

P6.4’s real Pattern IR (design/bynk-greenfield-compiler.md §5.1, #1157): a pattern’s own recursive shape, six variants mapping one-to-one onto bynk_syntax::ast::Pattern’s own six (Wildcard, Binding, Literal, Variant, Refined, Or). bynk_lower::lower_pattern_ir is the &Pattern -> IrPat constructor, tested standalone — not yet wired into IrExprKind::Match/Question/Is construction (P6.5’s own commission). No PatId arena — a pattern owns its children directly (Box<IrPat>), the same “no arena exists in this codebase” substitution this module’s own doc comment already applies throughout.

Variants

Wild

_ — matches anything, binds nothing.

Bind

A name binding — matches anything, binds local to the whole value at this position (Decision B substitution: String, no LocalId arena).

Fields

local: String

Const

A literal pattern — Int/Str/Bool only (ADR 0001’s closed literal-pattern set), reusing ConstVal rather than inventing a narrower value type for the variants (Float/DurationMillis/ Unit) no Pattern::Literal ever produces.

Fields

value: ConstVal

Variant

A sum-variant pattern, Variant or Variant(bindings) — not just a user-declared sum (Decision A): scrutinee_ty is resolved through the checker’s own variants_of, the same function that already flattens a user sum, Result, Option, ActorSum and HttpResult into one uniform shape, rather than Callee::Ctor’s Arc<TypeDecl>-keyed identity scheme, which never fires for Ok/Err/Some/None at all (#1145’s own Decision B) — IrExprKind::Variant later resolved the identical problem on the construction side the same way, #1225’s own ADR.

Fields

scrutinee_ty: TyId

The value this pattern matches against — resolved via variants_of(scrutinee_ty, ..) to find tag’s own payload shape. Not the sum’s own declaration identity: no Arc<TypeDecl> exists for a built-in sum like Option/Result.

tag: String

fields: Vec<(String, Box<IrPat>)>

Exactly the payload bindings the source pattern names — a named form may bind a strict subset of the variant’s payload fields (bynk-check’s own check_pattern allows this); empty for a nullary pattern, even over a non-nullary variant (Miss without (..) binds nothing and only tests the tag).

Refined

p 'where' predicate — R5.4: a refinement is a test, ordered after structural matching and before the guard; never a binding site of its own.

Fields

inner: Box<IrPat>

refinement: Refinement

Or

p1 | p2 | … | pn — matches if any alternative matches. R5.5’s own binding-mode consequence lives on IrArm::binding_mode, not here — an Or node is a pure structural fact about the pattern’s shape.

Fields

alts: Vec<IrPat>

Trait Implementations

impl Clone for IrPat

fn clone(&self) -> IrPat

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrPat

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

Formats the value using the given formatter.