Enum StatementKind 

pub enum StatementKind {
    Assign(Place, Rvalue),
    Drop(Place),
    TaskBoundary(Vec<Operand>, TaskBoundaryKind),
    ClosureCapture {
        closure_slot: SlotId,
        operands: Vec<Operand>,
    },
    ArrayStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
    },
    ObjectStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
    },
    EnumStore {
        container_slot: SlotId,
        operands: Vec<Operand>,
    },
    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.

Fields

closure_slot: SlotId

operands: Vec<Operand>

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.

Fields

container_slot: SlotId

operands: Vec<Operand>

EnumStore

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

Fields

container_slot: SlotId

operands: Vec<Operand>

Nop

No-op (placeholder, padding).

Trait Implementations

impl Clone for StatementKind

fn clone(&self) -> StatementKind

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: &StatementKind) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for StatementKind