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