Efficient representation of sparse sets with MaybeUninit

So are you saying it could be possible to implement the structure in Rust if the key methods are made using inline assembly? Or rather than everything has to be done in assembly, including the allocation...