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