rustc_middle::mir::interpret

Trait 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(DiagArgName, 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(DiagArgName, DiagArgValue))

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

Implementations§

Implementors§