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