pub trait SpecBitXorTrait<Rhs = Self> { type Output; // Required method spec fn spec_bitxor(self, rhs: Rhs) -> Self::Output; }