Trait rustc_middle::mir::interpret::MachineStopType

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),
    );
}

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

Required Methods

fn diagnostic_message(&self) -> DiagMessage

The diagnostic message for this error

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

impl dyn MachineStopType

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

Implementors