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