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