Struct ValueInvariants 

pub struct ValueInvariants {
    pub non_null: bool,
    pub aligned: bool,
    pub init: bool,
    pub in_bounds: bool,
    pub align_n: Option<u64>,
    pub is_field_offset: bool,
}

Known invariants about a symbolic value.

Fields

non_null: bool

aligned: bool

init: bool

in_bounds: bool

align_n: Option<u64>

If Some(n), the value’s term is known to satisfy term % n == 0. Set by alignment guards, Mul by power-of-two, and type alignment.

is_field_offset: bool

Whether this scalar value is a compile-time field offset (offset_of!). Propagated to a pointer’s provenance when used as an add/byte_add offset.

Trait Implementations

impl Clone for ValueInvariants

fn clone(&self) -> ValueInvariants

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ValueInvariants

impl Debug for ValueInvariants

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

Formats the value using the given formatter.

impl Default for ValueInvariants

fn default() -> ValueInvariants

Returns the “default value” for a type.

impl Display for ValueInvariants

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

Formats the value using the given formatter.

impl Eq for ValueInvariants

impl PartialEq for ValueInvariants

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValueInvariants