pub fn erase_type(self) -> Self {
        match self {
            Infer(i) => Infer(i),
            InferSigned(i) if i < 0 => InferSigned(i),
            I8(i) if i < 0 => InferSigned(i as i64),
            I16(i) if i < 0 => InferSigned(i as i64),
            I32(i) if i < 0 => InferSigned(i as i64),
            I64(i) if i < 0 => InferSigned(i as i64),
            Isize(Is16(i)) if i < 0 => InferSigned(i as i64),
            Isize(Is32(i)) if i < 0 => InferSigned(i as i64),
            Isize(Is64(i)) if i < 0 => InferSigned(i as i64),
            InferSigned(i) => Infer(i as u64),
            I8(i) => Infer(i as u64),
            I16(i) => Infer(i as u64),
            I32(i) => Infer(i as u64),
            I64(i) => Infer(i as u64),
            Isize(Is16(i)) => Infer(i as u64),
            Isize(Is32(i)) => Infer(i as u64),
            Isize(Is64(i)) => Infer(i as u64),
            U8(i) => Infer(i as u64),
            U16(i) => Infer(i as u64),
            U32(i) => Infer(i as u64),
            U64(i) => Infer(i as u64),
            Usize(Us16(i)) => Infer(i as u64),
            Usize(Us32(i)) => Infer(i as u64),
            Usize(Us64(i)) => Infer(i),
        }
    }
/// Turn this value into an `Infer` or an `InferSigned`
Turn this value into an `Infer` or an `InferSigned`
Turn this value into an ` Infer ` or an ` InferSigned `
pub fn erase_type(self) -> Self {
        match self {
            Infer(i) => Infer(i),
            InferSigned(i) if i < 0 => InferSigned(i),
            I8(i) if i < 0 => InferSigned(i as i64),
            I16(i) if i < 0 => InferSigned(i as i64),
            I32(i) if i < 0 => InferSigned(i as i64),
            I64(i) if i < 0 => InferSigned(i as i64),
            Isize(Is16(i)) if i < 0 => InferSigned(i as i64),
            Isize(Is32(i)) if i < 0 => InferSigned(i as i64),
            Isize(Is64(i)) if i < 0 => InferSigned(i as i64),
            InferSigned(i) => Infer(i as u64),
            I8(i) => Infer(i as u64),
            I16(i) => Infer(i as u64),
            I32(i) => Infer(i as u64),
            I64(i) => Infer(i as u64),
            Isize(Is16(i)) => Infer(i as u64),
            Isize(Is32(i)) => Infer(i as u64),
            Isize(Is64(i)) => Infer(i as u64),
            U8(i) => Infer(i as u64),
            U16(i) => Infer(i as u64),
            U32(i) => Infer(i as u64),
            U64(i) => Infer(i as u64),
            Usize(Us16(i)) => Infer(i as u64),
            Usize(Us32(i)) => Infer(i as u64),
            Usize(Us64(i)) => Infer(i),
        }
    }
pub fn erase_type ( self ) -> Self { match self { Infer ( i ) => Infer ( i ) , InferSigned ( i ) if i < 0 => InferSigned ( i ) , I8 ( i ) if i < 0 => InferSigned ( i as i64 ) , I16 ( i ) if i < 0 => InferSigned ( i as i64 ) , I32 ( i ) if i < 0 => InferSigned ( i as i64 ) , I64 ( i ) if i < 0 => InferSigned ( i as i64 ) , Isize ( Is16 ( i ) ) if i < 0 => InferSigned ( i as i64 ) , Isize ( Is32 ( i ) ) if i < 0 => InferSigned ( i as i64 ) , Isize ( Is64 ( i ) ) if i < 0 => InferSigned ( i as i64 ) , InferSigned ( i ) => Infer ( i as u64 ) , I8 ( i ) => Infer ( i as u64 ) , I16 ( i ) => Infer ( i as u64 ) , I32 ( i ) => Infer ( i as u64 ) , I64 ( i ) => Infer ( i as u64 ) , Isize ( Is16 ( i ) ) => Infer ( i as u64 ) , Isize ( Is32 ( i ) ) => Infer ( i as u64 ) , Isize ( Is64 ( i ) ) => Infer ( i as u64 ) , U8 ( i ) => Infer ( i as u64 ) , U16 ( i ) => Infer ( i as u64 ) , U32 ( i ) => Infer ( i as u64 ) , U64 ( i ) => Infer ( i as u64 ) , Usize ( Us16 ( i ) ) => Infer ( i as u64 ) , Usize ( Us32 ( i ) ) => Infer ( i as u64 ) , Usize ( Us64 ( i ) ) => Infer ( i ) , } }
Turn this value into an `Infer` or an `InferSigned`
Turn this value into an ` Infer ` or an ` InferSigned `
self
self