pub trait SelectBitAnd<Then, Else> { type Out; }
Select between two types based on BitAnd capability.
BitAnd