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