A re-useable vector of
Datum with varying lifetimes.
This type is meant to allow us to recycle an underlying allocation with a specific lifetime, under the condition that the vector is emptied before this happens (to prevent leaking of invalid references).
ore::vec::repurpose_allocation to accomplish this, which contains
- A re-useable vector of
Datumwith no particular lifetime.
- A borrowed allocation of
Datumwith a specific lifetime.