Enum StatementKind 

pub enum StatementKind {
    Assign(Place, Rvalue),
    Drop(Place),
    TaskBoundary(Vec<Operand>, TaskBoundaryKind),
    ClosureCapture {
        closure_slot: SlotId,
        operands: Vec<Operand>,
        function_id: Option<u16>,
    },
    ArrayStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
    },
    ObjectStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
        field_names: Vec<String>,
        schema_id: Option<u32>,
    },
    EnumStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
        variant_name: Option<String>,
    },
    Nop,
}

Variants

Assign(Place, Rvalue)

Assign a value to a place: place = rvalue

Drop(Place)

Drop a place (scope exit, explicit drop). Generates invalidation facts for any loans on this place.

TaskBoundary(Vec<Operand>, TaskBoundaryKind)

Cross a task boundary (spawn/join branch capture). Operands are the values flowing into the spawned task. The kind distinguishes detached vs structured tasks.

ClosureCapture

Capture values into a closure environment. Operands are the outer values flowing into the closure. function_id is patched after bytecode compilation resolves the closure’s index.

Fields

closure_slot: SlotId

operands: Vec<Operand>

function_id: Option<u16>

ArrayStore

Store values into an array literal. Operands are the array elements being stored.

Fields

container_slot: SlotId

operands: Vec<Operand>

ObjectStore

Store values into an object or struct literal. Operands are the fields/spreads being stored. field_names carries the string key for each operand (from the AST). When present, JIT codegen can construct a proper object with named fields.

schema_id carries the user-declared (or anonymous-inline) schema id from the bytecode-side OpCode::NewTypedObject operand (Operand::TypedObjectAlloc { schema_id, field_count }). MIR lowering emits None; the bytecode compiler back-patches the resolved SchemaId via crate::compiler::mir_schema_threading:: back_patch_schema_ids (Phase 3 cluster-0 Round 16 W17-narrow- follow-up-A, ADR-006 §2.7.5 stamp-at-compile-time). The JIT MIR consumer at crates/shape-jit/src/mir_compiler/statements.rs:: StatementKind::ObjectStore uses this id directly for typed_object_alloc, preserving the user-declared schema identity (e.g. X schema = 53 in Smoke 3) instead of the prior register_predeclared_any_schema __predecl_*-named id (54).

None when the back-patch could not resolve the schema (the downstream JIT consumer surfaces-and-stops per §2.7.5 — no register_predeclared_any_schema fallback, no Bool-default).

Fields

container_slot: SlotId

operands: Vec<Operand>

field_names: Vec<String>

schema_id: Option<u32>

EnumStore

Store values into an enum payload. Operands are the tuple/struct payload values being stored.

variant_name carries the constructor name (Ok / Err / Some / user-defined variant) — known at MIR-lowering time and threaded through so the JIT EnumStore consumer can dispatch to the right typed-Arc producer (jit_v2_make_result_ok / _err / jit_v2_make_option_some). None is permitted for paths that haven’t been migrated to thread the variant; downstream JIT consumers surface-and-stop on None for non-empty payloads per ADR-006 §2.7.5 / §2.7.7 #9 (no Bool-default fallback).

Fields

container_slot: SlotId

operands: Vec<Operand>

variant_name: Option<String>

Nop

No-op (placeholder, padding).

Trait Implementations

impl Clone for StatementKind

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 StatementKind

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

Formats the value using the given formatter.

impl PartialEq for StatementKind

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StatementKind