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