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