Comment by anitil

Oh it's a bit like unordered-delete when using an arena. I guess I would have expected an ordered-delete instead