Trait rustc_middle::mir::interpret::error::MachineStopType

pub trait MachineStopType: Any + Debug + Send {
    // Required methods
    fn diagnostic_message(&self) -> DiagnosticMessage;
    fn add_args(
        self: Box<Self>,
        adder: &mut dyn FnMut(DiagnosticArgName, DiagnosticArgValue)
    );
}

A trait for machine-specific errors (or other “machine stop” conditions).

Required Methods

fn diagnostic_message(&self) -> DiagnosticMessage

The diagnostic message for this error

fn add_args( self: Box<Self>, adder: &mut dyn FnMut(DiagnosticArgName, DiagnosticArgValue) )

Add diagnostic arguments by passing name and value pairs to adder, which are passed to fluent for formatting the translated diagnostic message.

Implementations

impl dyn MachineStopType

pub fn downcast_ref<T: Any>(&self) -> Option<&T>

Implementors