Trait miri::DiagnosticsEvalContextExt

pub trait DiagnosticsEvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
    fn preprocess_diagnostics(&self) -> TopFrameInfo<'tcx> { ... }
    fn process_diagnostics(&self, info: TopFrameInfo<'tcx>) { ... }
    fn handle_ice(&self) { ... }
}

Provided Methods

fn preprocess_diagnostics(&self) -> TopFrameInfo<'tcx>

fn process_diagnostics(&self, info: TopFrameInfo<'tcx>)

Emit all diagnostics that were registed with register_diagnostics

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 MiriEvalContext<'mir, 'tcx>