Class CheckerState

src/debug_utils/checker.rs:42–49

/// [regalloc2 checker]: https://github.com/bytecodealliance/regalloc2/blob/main/src/checker.rs
#[derive(Debug, Clone)]
struct CheckerState {
    /// This is internally represented by a set of values for each
    /// `AllocationUnit`.
    ///
    /// A vacant entry in the `SparseMap` is logically equivalent to a present
    /// entry with an empty value set.
    unit_values: SparseMap<AllocationUnit, CheckerValueSet>,
}

impl CheckerState {
    fn new(output: &Output<'_, impl Function, impl RegInfo>) -> Self {