Hacker News new | past | comments | ask | show | jobs | submit
Oh it's a bit like unordered-delete when using an arena. I guess I would have expected an ordered-delete instead