Another Experiment To Make Unsafe Rust Safer: Preventing UB In MaybeUninit With Compile Time Error

... and, in order to replace the unsafe abstraction, it needs to be not less powerful and not less performant.

(But there is a value with it even if does not completely replace the unsafe case, provided it is more powerful than existing safe options as you said).