Function miri::diagnostics::report_error
source · [−]pub fn report_error<'tcx, 'mir>(
ecx: &InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
e: InterpErrorInfo<'tcx>
) -> Option<i64>
Expand description
Emit a custom diagnostic without going through the miri-engine machinery