What's always been unclear to me is whether this is valid:
```rust
let x = MaybeUninit::<u32>::uninit();
let y = x.assume_init();
```

Any possible bit pattern for u32 is a valid one, so this should work naively. (and in practice)
But is it officially UB?