That is news to me (thanks for the clarification), but unless I&#x27;m misunderstanding you, escape analysis is only for block scoped allocations. It doesn&#x27;t perform any optimizations for large and&#x2F;or long lived objects so they can bypass expensive large heap mark stages, and it doesn&#x27;t allow for deterministic destructor interfaces. As far as I can tell, the only industrial GC language out there attempting to do this sort of thing is Swift.