> But, as to why the code size goes down, that's a bit of a mystery. > Maybe just because of no inlining? Yeah, the code size is probably smaller because of a combination of no inlining and no polyvariance.