Trait miri::MachineStopType
source · [−]pub trait MachineStopType: AsAny + Display + Send {
fn is_hard_err(&self) -> bool { ... }
}Expand description
A trait for machine-specific errors (or other “machine stop” conditions).
Provided Methods
sourcefn is_hard_err(&self) -> bool
fn is_hard_err(&self) -> bool
If true, emit a hard error instead of going through the CONST_ERR lint