1 //! Handling of concrete const values
3 /// A concrete constant value
4 #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
6 // for now, we only support the trivial case of constant evaluating the length of an array
7 // Note that this is u64 because the target usize may be bigger than our usize
10 /// Case of an unknown value that rustc might know but we don't
14 impl std::fmt::Display for ConstScalar {
15 fn fmt(&self, fmt: &mut std::fmt::Formatter<'_>) -> Result<(), std::fmt::Error> {
17 ConstScalar::Usize(us) => write!(fmt, "{}", us),
18 ConstScalar::Unknown => write!(fmt, "_"),