Method save_values

src/debug_utils/checker.rs:136–138

Saves the set of values held in an `AllocationUnit` in a way that can be losslessly restored later.

(&self, unit: AllocationUnit)

    /// Saves the set of values held in an `AllocationUnit` in a way that can be
    /// losslessly restored later.
    fn save_values(&self, unit: AllocationUnit) -> CheckerValueSet {
        self.unit_values.get(unit).cloned().unwrap_or_default()
    }

    /// Restores the set of values held in an `AllocationUnit` that were
    /// previously saved by `save_values`.