# Trait rustc_middle::mir::interpret::error::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§

source§

### impl dyn MachineStopType

source

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

## Implementors§