Liveness is a global property. A cache-aware data structure requires understanding the code that maintains it, but safely freeing an escaped object requires und

Liveness is a global property. A cache-aware data structure requires understanding the code that maintains it, but safely freeing an escaped object requires understanding all code everywhere that could possibly be using it, and we can't seem to find anyone who can actually do it without a hell of a lot of proof automation (or falling back to runtime checking).