trait Addo: AddSubwhere <Self as Int>::UnsignedInt: UAddSub,{ // Provided method fn addo(self, other: Self) -> (Self, bool) { ... } }