Struct gc_arena::arena::MarkedArena

pub struct MarkedArena<'a, R: for<'b> Rootable<'b>>(/* private fields */);

Implementations

impl<'a, R: for<'b> Rootable<'b>> MarkedArena<'a, R>

pub fn finalize<F, T>(self, f: F) -> T

where F: for<'gc> FnOnce(&'gc Finalization<'gc>, &'gc Root<'gc, R>) -> T,

Examine the state of a fully marked arena.

Allows you to determine whether GcWeak pointers are “dead” (aka, soon-to-be-dropped) and potentially resurrect them for this cycle.

Note that the arena is guaranteed to be fully marked only at the beginning of this callback, any mutation that resurrects a pointer or triggers a write barrier can immediately invalidate this.