Struct ContractFlags 

pub(crate) struct ContractFlags {
    pub split_transmute_asserted: bool,
    pub alias_hazard_accepted: bool,
    pub has_checked_bounds: bool,
    pub saw_next_discriminant: bool,
}

One-shot execution/contract flags accumulated while stepping a path.

Fields

split_transmute_asserted: bool

Whether a SplitTransmute contract was asserted by the caller.

alias_hazard_accepted: bool

Whether an Alias hazard was accepted via the caller’s contract.

has_checked_bounds: bool

Whether a ChecksIndexBoundsDisjoint call was processed in any checkpoint of this function (accumulated across checkpoints).

saw_next_discriminant: bool

Set once the path evaluated an Iterator::next discriminant whose variant was known symbolically.

Trait Implementations

impl Clone for ContractFlags

fn clone(&self) -> ContractFlags

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ContractFlags

impl Debug for ContractFlags

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

Formats the value using the given formatter.

impl Default for ContractFlags

fn default() -> ContractFlags

Returns the “default value” for a type.