I suggested something kind-of-similar at &lt;<a href="https:&#x2F;&#x2F;internals.rust-lang.org&#x2F;t&#x2F;pre-rfc-unsafe-types&#x2F;3073&gt;" rel="nofollow">https:&#x2F;&#x2F;internals.rust-lang.org&#x2F;t&#x2F;pre-rfc-unsafe-types&#x2F;3073&gt;</a>