pub type NonZeroI16 = NonAnyI16<0>;
An integer that is known not to equal zero.
pub struct NonZeroI16(/* private fields */);