A separate reference image is useful evidence, but its value depends on preserving the original metadata and keeping Apple's verification path available years later.
I'd say it's the other way around than escape analysis. The method ABI can always scalarize value class types without escape analysis, but if they ever need to get type-erased or written atomically you end up with extra allocations for what would have been a single object before. Similar to boxing value types in C# really.
reply