Struct DebugSlotCount 

pub struct DebugSlotCount(/* private fields */);

A count of debug value slots the debug value stack can actually hold: a u32 proven <= MAX_DEBUG_VALUE_SLOTS at construction (ADR-128 decision 3).

A distinct type from SlotCount, and that is the point. The claim on the shadow stack and the claim on the debug value stack are different numbers with different bounds over different index spaces, and the failure mode of confusing them is silent: claiming the colored width on the debug stack would give the debugger a frame too short for its own metadata to index, and every local past the end would render another frame’s value. Making them two types means that mix-up does not compile.

Implementations

impl DebugSlotCount

pub const fn new(n: u32) -> Option<DebugSlotCount>

Some iff n Gc locals fit in one function’s debug frame.

pub const fn get(self) -> u32

The width, which is <= MAX_DEBUG_VALUE_SLOTS by construction.

Trait Implementations

impl Clone for DebugSlotCount

fn clone(&self) -> DebugSlotCount

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DebugSlotCount

impl Debug for DebugSlotCount

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

Formats the value using the given formatter.

impl Eq for DebugSlotCount

impl PartialEq for DebugSlotCount

fn eq(&self, other: &DebugSlotCount) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DebugSlotCount