pub trait ShiftDiff<Rhs> { type Output; }
Performs Shl on Lhs so that SizeOf(Lhs) = SizeOf(Rhs) Fails if SizeOf(Lhs) > SizeOf(Rhs)
Shl
Lhs
SizeOf(Lhs) = SizeOf(Rhs)
SizeOf(Lhs) > SizeOf(Rhs)