It’s much harder than that because the JIT is speculating on what lots of objects in the heap are doing, including watchpointing them to constant fold propertie

It’s much harder than that because the JIT is speculating on what lots of objects in the heap are doing, including watchpointing them to constant fold properties. It’s not clear what the key should be in that case. Still not impossible but I want to be clear on what exactly makes this hard. CPU model for example is not what makes it hard.