pub fn to_u64_unchecked(self) -> u64 {
        match self.erase_type() {
            ConstInt::Infer(i) => i,
            ConstInt::InferSigned(i) => i as u64,
            _ => unreachable!(),
        }
    }
/// Erases the type and returns a u64.
/// This is not the same as `-5i8 as u64` but as `-5i8 as i64 as u64`
Erases the type and returns a u64.
Erases the type and returns a u64 .
pub fn to_u64_unchecked(self) -> u64 {
        match self.erase_type() {
            ConstInt::Infer(i) => i,
            ConstInt::InferSigned(i) => i as u64,
            _ => unreachable!(),
        }
    }
pub fn to_u64_unchecked ( self ) -> u64 { match self . erase_type ( ) { ConstInt :: Infer ( i ) => i , ConstInt :: InferSigned ( i ) => i as u64 , _ => unreachable ! ( ) , } }
Erases the type and returns a u64.
Erases the type and returns a u64 .
self
self