Zero::new_unchecked requires the argument to be non-zero

This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.description() is deprecated; use Display