Enum CannotReplay 

#[non_exhaustive]
pub enum CannotReplay {
    Erased,
    KeyAbsent,
    CanonicalizationChanged {
        recorded: u16,
        implemented: u16,
    },
    EntryPointRemoved {
        capability: String,
    },
    NotConcluded,
    EndedByAnAct {
        outcome: String,
    },
}

Why a run cannot be replayed — each one a reason, never a divergence.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Erased

Its payloads are sealed to a key the ring reports destroyed.

KeyAbsent

Its payloads are sealed and this plane holds no key ring.

CanonicalizationChanged

Its keys were derived under another canonicalization rule.

Fields

recorded: u16

implemented: u16

EntryPointRemoved

Nothing on this plane provides a capability the run executed.

Fields

capability: String

NotConcluded

The run has not ended, so there is no recorded ending to verify.

EndedByAnAct

A person or the plane ended it, not its own steps — a cancellation, an abandonment, a sweep — so re-deriving its steps says nothing about it.

Fields

outcome: String

Trait Implementations

impl Clone for CannotReplay

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CannotReplay

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

Formats the value using the given formatter.

impl Display for CannotReplay

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

Formats the value using the given formatter.

impl Eq for CannotReplay

impl PartialEq for CannotReplay

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CannotReplay