Disclaimer: This chapter is a work-in-progress. What's contained here represents the consensus from issue #73. The statements in here are not (yet) "guaranteed" not to change until an RFC ratifies them.
A union containing a zero-sized field can contain any bit pattern. An example of such
a union is MaybeUninit.