Trait miri::interpret::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

If true, emit a hard error instead of going through the CONST_ERR lint

Implementors