Well, for one, the compiler could rearrange key assignment of similarly shaped objects, so that they actually are similarly shaped objects to the JIT .... but that seems like really dangerous territory
Something like that would probably speed up more code than it breaks, but it would be a breaking change, so probably not what could be strictly considered optimization.