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§
sourcefn diagnostic_message(&self) -> DiagMessage
fn diagnostic_message(&self) -> DiagMessage
The diagnostic message for this error