[dxhdr]

It's essentially a "user-space" memory allocator with it's own use-after-free and double-free checks, apparently because the language implementation isn't adequate. If anything it just reinforces the articles point that "borrow checking is incompatible with some useful patterns and optimizations."

[junon]

Eh? This is a wild take. How do you draw the conclusion the default implementation is inadequate?

[dymk]

Because something like slotmap has to use `unsafe` to get around the inadequacies of the borrow checker...