Trait miri::MachineStopType

source ·
pub trait MachineStopType: Any + Debug + Send {
    // Required methods
    fn diagnostic_message(&self) -> DiagMessage;
    fn add_args(
        self: Box<Self>,
        adder: &mut dyn FnMut(Cow<'static, str>, DiagArgValue)
    );
}
Expand description

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

Required Methods§

source

fn diagnostic_message(&self) -> DiagMessage

The diagnostic message for this error

source

fn add_args( self: Box<Self>, adder: &mut dyn FnMut(Cow<'static, str>, DiagArgValue) )

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

Implementations§

source§

impl dyn MachineStopType

source

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

Implementations on Foreign Types§

source§

impl MachineStopType for ConstEvalErrKind

Implementors§