pub trait ToNonZerowhere Self: PrimInt,{ // Provided method fn to_nonzero(self) -> Option<NonZero<Self>> { ... } }