Module mz_repr::datum_vec

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

• DatumVec
  A re-useable vector of Datum with no particular lifetime.
• DatumVecBorrow
  A borrowed allocation of Datum with a specific lifetime.