pub trait SafeZeros: ValidAsZeroBits + DeviceRepr { }
Represents a type where all 0 bits is a valid pattern.