Indeed, this was literally the conclusion of the first paper that introduced polymorphic inline caches. I'll add that the real benefit of ICs isn't just that c

Indeed, this was literally the conclusion of the first paper that introduced polymorphic inline caches. I'll add that the real benefit of ICs isn't just that compiled code is specialized to the seen types, but the fact that deoptimization guards are inserted, which split diamonds in the original general cases so that multiple downstream checks become redundant. So specialization is not just a local simplification but a global simplification to all dominated code in the context of the compilation unit.