Unnamed repository; edit this file 'description' to name the repository.
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.
