Struct ManualFinalizerReceipt 

pub struct ManualFinalizerReceipt { /* private fields */ }

One-shot accounting token for a finalizer handed to an external driver.

The driver must execute or otherwise retire the associated Finalizer, then pass this receipt to RuntimeState::complete_manual_finalizer or RuntimeState::abandon_manual_finalizer. Dropping an unsettled receipt is fail-closed: the owning region remains in Finalizing, and no lower finalizer can be handed out.

Implementations

impl ManualFinalizerReceipt

pub const fn region_id(&self) -> RegionId

Returns the region that owns the externally driven finalizer.

pub const fn finalizer_id(&self) -> u64

Returns the runtime-local identifier of the externally driven finalizer.

pub const fn is_settled(&self) -> bool

Returns whether this receipt has already been completed or abandoned.

Trait Implementations

impl Debug for ManualFinalizerReceipt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.