Trait miri::diagnostics::EvalContextExt
source · pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
// Provided methods
fn emit_diagnostic(&self, e: NonHaltingDiagnostic) { ... }
fn handle_ice(&self) { ... }
}
Provided Methods§
fn emit_diagnostic(&self, e: NonHaltingDiagnostic)
sourcefn handle_ice(&self)
fn handle_ice(&self)
We had a panic in Miri itself, try to print something useful.