That means MaybeUninit would not be library-only anymore, but would need some compiler help. But yes you're right.
It already has lots of "magic" semantics and never was just a library type