Trait miri::diagnostics::EvalContextExt

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    fn emit_diagnostic(&self, e: NonHaltingDiagnostic) { ... }
    fn handle_ice(&self) { ... }
}

Provided Methods

fn emit_diagnostic(&self, e: NonHaltingDiagnostic)

fn handle_ice(&self)

We had a panic in Miri itself, try to print something useful.

Implementors

impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>