Skip to content

Commit 9ec5264

Browse files
committed
Auto merge of #1387 - RalfJung:rustup, r=RalfJung
bump Rust, fix warnings
2 parents 6ded8aa + 1578540 commit 9ec5264

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
dae90c195989b09475b6c0225a3018cbd7afa587
1+
0a675c5e02e6ecfda7d4e04aabd23a9935e0c4bf

src/diagnostics.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ pub enum NonHaltingDiagnostic {
4848
/// Emit a custom diagnostic without going through the miri-engine machinery
4949
pub fn report_error<'tcx, 'mir>(
5050
ecx: &InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
51-
mut e: InterpErrorInfo<'tcx>,
51+
e: InterpErrorInfo<'tcx>,
5252
) -> Option<i64> {
5353
use InterpError::*;
5454

src/eval.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -196,7 +196,7 @@ pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) ->
196196

197197
let (mut ecx, ret_place) = match create_ecx(tcx, main_id, config) {
198198
Ok(v) => v,
199-
Err(mut err) => {
199+
Err(err) => {
200200
err.print_backtrace();
201201
panic!("Miri initialization error: {}", err.kind)
202202
}

0 commit comments

Comments
 (0)