Struct FinishOnDrop 

pub struct FinishOnDrop<'a> { /* private fields */ }

Emits slot idx’s block when dropped — however the check’s closure exits, a panic included: the partial output of a check that died still reaches the reader, above the dead-check verdict the runner fills in.

Implementations

impl<'a> FinishOnDrop<'a>

pub fn new(stage: &'a Stage, idx: usize) -> FinishOnDrop<'a>

Trait Implementations

impl Drop for FinishOnDrop<'_>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.