And is in fact how Rust represents Option&lt;T&gt;. There&#x27;s also a trait, <a href="http:&#x2F;&#x2F;doc.rust-lang.org&#x2F;stable&#x2F;core&#x2F;nonzero&#x2F;struct.NonZero.html" rel="nofollow">http:&#x2F;&#x2F;doc.rust-lang.org&#x2F;stable&#x2F;core&#x2F;nonzero&#x2F;struct.NonZero....</a> , which can be used to ensure a structure you build also has said representation.