Struct StoragePlan 

pub struct StoragePlan {
    pub slot_classes: HashMap<SlotId, BindingStorageClass>,
    pub slot_semantics: HashMap<SlotId, BindingSemantics>,
    pub inline_array_sizes: HashMap<SlotId, usize>,
    pub non_escaping_closure_slots: HashSet<SlotId>,
}

The computed storage plan for a single function.

Fields

slot_classes: HashMap<SlotId, BindingStorageClass>

Maps each local slot to its decided storage class.

slot_semantics: HashMap<SlotId, BindingSemantics>

Maps each local slot to its enriched binding semantics.

inline_array_sizes: HashMap<SlotId, usize>

Optimization hint (Phase D.2 infrastructure): slots that hold a small, compile-time-sized aggregate (array/tuple literal) that is provably non-escaping, non-captured, and non-aliased. The value is the element count.

Consumers may choose to:

• emit inline-on-stack storage (SROA — eliminate the allocation),
• pick a SmallVec-backed HeapValue::Array path, or
• ignore the hint entirely (semantics-preserving).

Today no consumer acts on the hint; it is recorded so that future codegen passes (inline arrays, scalar replacement of aggregates) can activate without re-running escape analysis.

non_escaping_closure_slots: HashSet<SlotId>

Closure Spec Phase B: slots that hold closure values (defined by a ClosureCapture statement) and that provably do not escape their enclosing function via any of the §2.1 escape vectors (return, container store, field/index/deref write, capture by an escaping closure, task boundary, call-site argument, or UniqueHeap/SharedCow promotion).

Consumed by Phase C’s per-closure specialization decision: when a closure slot is in this set, the specialization may stack-allocate the closure and inline its body into the receiving specialization instead of heap-allocating a TypedClosure. Slots NOT in this set are considered escaping and must use the heap variant.

Today no consumer acts on the set (Phase C is not landed). It is recorded so the specialization pass can activate without re-running escape analysis.

Trait Implementations

impl Clone for StoragePlan

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 StoragePlan

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

Formats the value using the given formatter.