A value that is known not to equal zero.
This enables some memory layout optimization. For example, Option<NonZero<u32>> is the same size as u32:
Option<NonZero<u32>>
u32