Struct BlockConstantInfo 

pub struct BlockConstantInfo {
    pub assigned_locals: FxHashSet<usize>,
    pub constants: FxHashMap<usize, usize>,
    pub constraint_copies: FxHashMap<usize, usize>,
    pub comparison_sources: FxHashMap<usize, ComparisonSource>,
}

Per-block info collected during construction for path reachability analysis. Each block’s assignments, constants, and copy chains are stored together so they can be read with a single index lookup.

Fields

assigned_locals: FxHashSet<usize>

constants: FxHashMap<usize, usize>

constraint_copies: FxHashMap<usize, usize>

comparison_sources: FxHashMap<usize, ComparisonSource>

Maps a boolean local (e.g., a guard result) to the binary comparison that produced it: (op, lhs_local, rhs_kind).

Trait Implementations

impl Clone for BlockConstantInfo

fn clone(&self) -> BlockConstantInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockConstantInfo

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

Formats the value using the given formatter.

impl Default for BlockConstantInfo

fn default() -> BlockConstantInfo

Returns the “default value” for a type.