Another Experiment To Make Unsafe Rust Safer: Preventing UB In MaybeUninit With Compile Time Error
Rust Internals [Unofficial]
May 23, 2026
Static checks with ordinary functions returning values of different types, and dynamic checks with Option. That is not true without we build that abstraction for MaybeUninit first, because different types + MaybeUninit or Option + MaybeUninit doesn't magically prevent MaybeUninit footguns without building the right abstraction. That what I am trying to do, building safer abstraction for MaybeUninit that can be reused intead of keep building the same abstraction
I will try to build simple data structure using this custom MaybeUninit
For the ArrayVec after reading the code yeah it looks it already has what is needed for MaybeUninit + array. So I will cancel the array support because there is already one
Discussion in the ATmosphere