Trait EvalContextExt 

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn emit_diagnostic(&self, e: NonHaltingDiagnostic) { ... }
    fn handle_ice(&self) { ... }
    fn dedup_diagnostic(
        &self,
        dedup: &SpanDedupDiagnostic,
        f: impl FnOnce(bool) -> NonHaltingDiagnostic,
    ) { ... }
}

Provided Methods

fn emit_diagnostic(&self, e: NonHaltingDiagnostic)

fn handle_ice(&self)

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

fn dedup_diagnostic( &self, dedup: &SpanDedupDiagnostic, f: impl FnOnce(bool) -> NonHaltingDiagnostic, )

Call f only if this is the first time we are seeing this span. The first parameter indicates whether this is the first time ever that this diagnostic is emitted.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>