Struct VarProvenFacts 

pub struct VarProvenFacts {
    pub scalar: Option<ScalarKind>,
    pub int_range: Option<(i64, i64)>,
    pub nonneg: bool,
}

A variable’s program-wide PROVEN facts — the statically-verified summary the debugger shows beside its live value (distinct from the dynamic, observed-this-run invariants). All fields are sound over-approximations: present ⇒ proven.

Fields

scalar: Option<ScalarKind>

Proven scalar type, if concrete across the program.

int_range: Option<(i64, i64)>

Proven finite integer range [lo, hi] (the value was in it at every occurrence).

nonneg: bool

Proven non-negative everywhere (even if unbounded above).

Trait Implementations

impl Clone for VarProvenFacts

fn clone(&self) -> VarProvenFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarProvenFacts

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

Formats the value using the given formatter.

impl Default for VarProvenFacts

fn default() -> VarProvenFacts

Returns the “default value” for a type.

impl From<VarProvenFacts> for ProvenFacts

fn from(v: VarProvenFacts) -> Self

Converts to this type from the input type.

impl PartialEq for VarProvenFacts

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for VarProvenFacts