Enum WrittenSpacesState 

pub enum WrittenSpacesState {
    Unstamped,
    Unbounded,
    Bounded(Vec<SpaceId>),
}

Owned tri-state of a function’s coarse written-space verdict, subsuming the old written_spaces: Option<Vec<SpaceId>> + written_spaces_stamped: bool pair. The borrowing view WrittenSpaces is derived from this.

Variants

Unstamped

Analysis has never recorded a verdict — a freshly minted function. (Was written_spaces_stamped == false.)

Unbounded

Recorded, but unbounded (⊤): the function may write any space. (Was stamped with written_spaces == None.)

Bounded(Vec<SpaceId>)

A recorded exact witnessed bound: a space not listed is never written. (Was stamped with written_spaces == Some(sorted).)

Trait Implementations

impl Clone for WrittenSpacesState

fn clone(&self) -> WrittenSpacesState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WrittenSpacesState

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

Formats the value using the given formatter.

impl Default for WrittenSpacesState

fn default() -> WrittenSpacesState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for WrittenSpacesState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WrittenSpacesState

impl PartialEq for WrittenSpacesState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WrittenSpacesState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for WrittenSpacesState