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