See also: #1316

It would probably be sound to implement AsBytes for MaybeUninit<T> where T is a ZST, although it'd definitely require some thought to make sure that's true.

While we're here, there may be other edge cases like this for other types or traits.