Enum IrStmt 

pub enum IrStmt {
    Let {
        local: String,
        value: IrExpr,
    },
    Expr {
        value: IrExpr,
    },
    Assign {
        field: String,
        value: IrExpr,
    },
}

A lowered statement — Bynk’s real statement surface (Let/EffectLet/Expect/Send/Do/Assign) folds down onto the reference’s own two-variant IrStmt (Part 6.2), extended by P6.9 (#1167) with a third: Send/Do become Expr wrapping IrExprKind::Send/IrExprKind::Await; EffectLet becomes Let wrapping an Await. Assign (a Cell := write) is real as of P6.9 ([DECISION B], #1167) — this comment used to (twice) forward-reference Callee::Store territory for it, on a premise P6.9’s own grounding pass found false: checker.rs’s own Statement::Assign arm resolves a.target.name directly against ctx.store_fields by bare name and never keys a Callee at all (only a.value, an ordinary sub-expression, ever gets one), so no ExprId-keyed sink was ever actually needed — IrStmt::Assign is the ordinary two-field Let-shaped fix that was available the whole time. Expect (test-only) has no target here — not named by any rule this track commissions — and stays todo!() in the lowering pass, not silently dropped.

Variants

Let

Fields

local: String

value: IrExpr

Expr

Fields

value: IrExpr

Assign

cell := value — [DECISION B] (#1167). field is the target Cell field’s own bare name (AssignStmt.target.name, this module’s usual “no arena” substitution); value is the ordinary lowered RHS.

Fields

field: String

value: IrExpr

Trait Implementations

impl Clone for IrStmt

fn clone(&self) -> IrStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrStmt

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

Formats the value using the given formatter.