Skip to content

Commit

Permalink
panic errors are actually still possible
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Dec 1, 2019
1 parent 636961c commit 2cba42b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/eval.rs
Original file line number Diff line number Diff line change
Expand Up @@ -203,7 +203,7 @@ pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) ->
InterpError::Exit(code) => return Some(code.into()),
err_unsup!(NoMirFor(..)) =>
format!("{}. Did you set `MIRI_SYSROOT` to a Miri-enabled sysroot? You can prepare one with `cargo miri setup`.", e),
InterpError::Panic(_) | InterpError::InvalidProgram(_) =>
InterpError::InvalidProgram(_) =>
bug!("This error should be impossible in Miri: {}", e),
_ => e.to_string()
};
Expand Down

0 comments on commit 2cba42b

Please sign in to comment.