Probably not, since I imagine created-but-unused HashMaps are much rarer than empty vectors (complete imagination though).

We can always add no-alloc-new later if we find evidence against that.