Enum HandoffReason 

pub enum HandoffReason {
    CompilerSemantics,
    EngineSemantics,
    UnprovenSemantics,
}

Why a run cannot be advanced here. The reason names the input that changed, not the path chosen for it: which of the three permitted paths applies is an operator decision.

Variants

CompilerSemantics

EngineSemantics

UnprovenSemantics

The recorded binding cannot be matched to a version this build declares.

Trait Implementations

impl Clone for HandoffReason

fn clone(&self) -> HandoffReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for HandoffReason

impl Debug for HandoffReason

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

Formats the value using the given formatter.

impl Eq for HandoffReason

impl PartialEq for HandoffReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HandoffReason