pub type NonMaxU8 = NonAnyU8<{ u8::MAX }>;
An integer that is known not to equal u8::MAX.
u8::MAX
pub struct NonMaxU8(/* private fields */);