Module mz_repr::datum_vec

source ·
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.


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