Auto merge of #115333 - joshlf:patch-5, r=RalfJung

Guarantee representation of None in NPO

This allows users to soundly transmute zeroes into `Option` types subject to the null pointer optimization (NPO). It unblocks https://github.com/google/zerocopy/issues/293.
This commit is contained in:
bors 2023-11-03 20:29:13 +00:00
commit 4ff30bc0dd

Diff content is not available