clippy

RalfJung · RalfJung · commit 2b28da2a2a47 · 2025-11-10T08:19:32.000+01:00
diff --git a/src/machine.rs b/src/machine.rs
@@ -1357,7 +1357,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
         ecx: &InterpCx<'tcx, Self>,
         r: mir::RuntimeChecks,
     ) -> InterpResult<'tcx, bool> {
-        interp_ok(r.value(&ecx.tcx.sess))
+        interp_ok(r.value(ecx.tcx.sess))
     }
 
     #[inline(always)]

Original file line number	Diff line number	Diff line change
`@@ -1357,7 +1357,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {`
`1357`	`1357`	`ecx: &InterpCx<'tcx, Self>,`
`1358`	`1358`	`r: mir::RuntimeChecks,`
`1359`	`1359`	`) -> InterpResult<'tcx, bool> {`
`1360`		`- interp_ok(r.value(&ecx.tcx.sess))`
	`1360`	`+ interp_ok(r.value(ecx.tcx.sess))`
`1361`	`1361`	`}`
`1362`	`1362`
`1363`	`1363`	`#[inline(always)]`