Closed
Description
There is a problem with destruction of arenas. Objects in an arena can freely point to other objects in the arena. While an object is being destroyed, it can therefore access any other arbitrary object in the arena, including objects that were already destroyed. This can cause badness.
To me the easiest fix seems to be to require that objects with destructors be 'static
bounded.