Trait miri::MachineStopType
source · pub trait MachineStopType: Any + Debug + Send {
// Required methods
fn diagnostic_message(&self) -> DiagnosticMessage;
fn add_args(
self: Box<Self, Global>,
adder: &mut dyn FnMut(Cow<'static, str>, DiagnosticArgValue<'static>)
);
}
Expand description
A trait for machine-specific errors (or other “machine stop” conditions).
Required Methods§
sourcefn diagnostic_message(&self) -> DiagnosticMessage
fn diagnostic_message(&self) -> DiagnosticMessage
The diagnostic message for this error