[SkeuomorphicBee]

This is also fine for any long-running processes and servers where the "vector" in question is not expected to shrink its allocation, which I would guess is the main use of vectors. Shrinking a vector's allocation is a niche use, with some finicky APIs, that most programmers never needed or touched.

[simiones]

While shrinking vectors may not be that common, creating and deleting vectors for short lived operations in a long lived program is certainly not.

[account42]

> Shrinking a vector's allocation is a niche use, with some finicky APIs, that most programmers never needed or touched.

Most programmers may not have touched those APIs but that doesn't mean that they didn't have a need for them.