Enum WrittenSpaces 

pub enum WrittenSpaces<'a> {
    Unstamped,
    Unbounded,
    Bounded(&'a [SpaceId]),
}

Tri-state view of a function’s written_spaces verdict, distinguishing a never-computed fresh mint from a deliberately recorded ⊤. See FunctionSignature::written_spaces and FunctionRef::written_spaces_state.

Variants

Unstamped

Analysis has never recorded a verdict — a freshly minted function. Treated conservatively (may write any space) but distinct from a recorded ⊤: it is a candidate for (re-)seeding, not a stale bound.

Unbounded

Recorded, but unbounded (⊤): the function may write any space.

Bounded(&'a [SpaceId])

A recorded exact witnessed bound: a space not listed is never written.

Trait Implementations

impl<'a> Clone for WrittenSpaces<'a>

fn clone(&self) -> WrittenSpaces<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for WrittenSpaces<'a>

impl<'a> Debug for WrittenSpaces<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for WrittenSpaces<'a>

impl<'a> PartialEq for WrittenSpaces<'a>

fn eq(&self, other: &WrittenSpaces<'a>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for WrittenSpaces<'a>