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

By the way, some big-picture advice, if you want it: in this thread and your previous one, you’ve thought up a type which makes some existing unsafe type harder to misuse. That’s good, but the part that’s missing, in both cases, is looking at it from the opposite direction: how powerful the new type is relative to existing safe types. In order for a new idea in this area to be useful, it needs to be both harder to misuse than existing unsafe options and more powerful (in some way) than existing safe options.