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