Commit bdac0aec2e3d0126675710b769d3a139e6ed93a3

Behdad Esfahbod 2025-09-16T16:42:32

[vector] Make shrink() useful in un-owned vectors