Struct StoragePlannerInput 

pub struct StoragePlannerInput<'a> {
    pub mir: &'a MirFunction,
    pub analysis: &'a BorrowAnalysis,
    pub binding_semantics: &'a HashMap<u16, BindingSemantics>,
    pub closure_captures: &'a HashSet<SlotId>,
    pub mutable_captures: &'a HashSet<SlotId>,
    pub had_fallbacks: bool,
    pub callee_summaries: Option<&'a HashMap<String, FunctionBorrowSummary>>,
}

Input bundle for the storage planner.

Fields

mir: &'a MirFunction

The MIR function to plan storage for.

analysis: &'a BorrowAnalysis

Borrow analysis results (includes liveness).

binding_semantics: &'a HashMap<u16, BindingSemantics>

Per-slot ownership/storage semantics from the compiler’s type tracker.

closure_captures: &'a HashSet<SlotId>

Slots captured by any closure in this function.

mutable_captures: &'a HashSet<SlotId>

Slots that are mutated inside a closure body.

had_fallbacks: bool

Whether MIR lowering had fallbacks (incomplete analysis).

callee_summaries: Option<&'a HashMap<String, FunctionBorrowSummary>>

Previously-computed callee borrow summaries, keyed by function name. Used by the closure-escape analysis (Closure Spec Phase B) to check whether a closure passed as a call-site argument may escape into the callee. None (or missing entries) is treated conservatively — the closure is assumed to escape. Populated from Compiler::function_borrow_summaries.