pub enum SlotClass {
Inline,
Wide,
Memory,
ForceWide,
}Expand description
The storage tiers state.md §1 splits every slot into (ledger ST-020..ST-024, CG-107, CG-163).
Review fix (Task 14 r2, blocking finding 2) adds ForceWide: the
Wide/Memory-class counterpart of driver::force_driver’s dynamically
-allocated contribution cell, addressing Arena’s separate, never-sealed
force_wide_aval/force_wide_bval planes (state::arena’s
alloc_force_wide_words doc comment has the full argument) instead of the
ordinary wide_aval/wide_bval planes sv_get_wide can seal. No
SlotDescriptor/SlotOffset the layout builder (Task 4/6) ever produces
for a real elaborated signal is ForceWide — it is minted exclusively by
force_driver for its own synthetic, caller-invisible contribution cell,
never observed by CODEGEN/the accessor ABI at all.
Variants§
Trait Implementations§
impl Copy for SlotClass
impl Eq for SlotClass
impl StructuralPartialEq for SlotClass
Auto Trait Implementations§
impl Freeze for SlotClass
impl RefUnwindSafe for SlotClass
impl Send for SlotClass
impl Sync for SlotClass
impl Unpin for SlotClass
impl UnsafeUnpin for SlotClass
impl UnwindSafe for SlotClass
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.