in dispenso/concurrent_vector.h [367:380]
void resize(difference_type len, const T& value) {
difference_type curLen = static_cast<difference_type>(size_.load(std::memory_order_relaxed));
if (curLen < len) {
grow_to_at_least(len, value);
} else if (curLen > len) {
auto it = end();
auto newEnd = begin() + len;
do {
--it;
it->~T();
} while (it != newEnd);
size_.store(len, std::memory_order_relaxed);
}
}