David Koloski · Oct 30

The docs say "both the argument and the result must be valid at their given type", so if I were writing the safety comment I'd document why the array of MaybeUninit<u32> is a valid array of u32. They both have the same layout and bit patterns, and the elements are all initialized, so it's sound.