Module repr::datum_vec [−][src]
Expand description
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).
It uses ore::vec::repurpose_allocation to accomplish this, which contains
unsafe code.
Structs
A re-useable vector of Datum with no particular lifetime.
A borrowed allocation of Datum with a specific lifetime.