It won't allocate in this case because it's still a vec of foo at the end, so we know it has enough space. If it were a different type, it may or may not alloca

It won't allocate in this case because it's still a vec of foo at the end, so we know it has enough space. If it were a different type, it may or may not allocate, depending on if it had enough capacity.