pub type CheckedNonZeroI16 = CheckedNum<NonZero<i16>>;
struct CheckedNonZeroI16(/* private fields */);