Struct FrameState 

pub(crate) struct FrameState {
    pub(crate) current_def_id: DefId,
    pub(crate) local_alloc: FxHashMap<Local, AllocId>,
}

The frame-scoped subset of VmState: the name → allocation binding keyed by MIR Local, which the callee reuses, so it must be swapped out for the duration of an inlined callee and swapped back afterwards.

Fields

current_def_id: DefId

The function whose body we execute (the MIR is derived via VmState::body).

local_alloc: FxHashMap<Local, AllocId>

The stack allocation backing each local’s place (lvalue identity). A local’s whole value lives at path == [] and its field values at path == [i, ..] in that allocation (see MemoryContent::values, keyed (AllocId, view_ty, path) with the local’s declared type as the view type), so there is no local-keyed value table here.