ShiftDiff

Trait ShiftDiff 

Source
pub trait ShiftDiff<Rhs> {
    type Output;
}
Expand description

Performs Shl on Lhs so that SizeOf(Lhs) = SizeOf(Rhs) Fails if SizeOf(Lhs) > SizeOf(Rhs)

Required Associated Types§

Implementors§

Source§

impl<Ul, Ur> ShiftDiff<Ur> for Ul
where Ur: BitDiff<Ul> + Unsigned, Ul: Shl<BitDiffOut<Ur, Ul>> + Unsigned,

Source§

type Output = <Ul as Shl<<Ur as BitDiff<Ul>>::Output>>::Output