Enum Slot 

pub enum Slot {
    Agg(u32),
    Other,
}

Abstract value at a stack or local slot during the analysis.

Variants

Agg(u32)

Holds the stack-allocatable aggregate (a record from Op::MakeRecord or a tuple from Op::MakeTuple) allocated at this pc. As long as every consumer reads this slot via a field / element read (GetField / GetElem), Pop, or a StoreLocal/LoadLocal round-trip, the site stays a stack-alloc candidate. The escape rules are identical for both aggregate kinds — only the codegen opcode differs — so the analysis tracks them with one variant keyed on the alloc pc.

Other

Anything else — primitives, already-escaped aggregates, values produced by ops we don’t model precisely. Treated as not-a-tracked-aggregate for escape purposes.

Trait Implementations

impl Clone for Slot

fn clone(&self) -> Slot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Slot

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

Formats the value using the given formatter.

impl Hash for Slot

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Slot

fn eq(&self, other: &Slot) -> 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 Copy for Slot

impl Eq for Slot

impl StructuralPartialEq for Slot