Method set

cranelift/codegen/src/remove_constant_phis.rs:211–216

(&mut self, actual: Value, lp: AbstractValue)

    }

    fn set(&mut self, actual: Value, lp: AbstractValue) {
        match self.absvals.insert(actual, lp) {
            Some(_old_lp) => {}
            None => panic!("SolverState::set: formal param {actual:?} is untracked?!"),
        }
    }
}

/// Detect phis in `func` that will only ever produce one value, using a