fmt

RalfJung · RalfJung · commit d7e9d9014b65 · 2024-08-05T11:06:36.000+02:00
diff --git a/src/machine.rs b/src/machine.rs
@@ -932,7 +932,10 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
         ecx.machine.validation != ValidationMode::No
     }
     #[inline(always)]
-    fn enforce_validity_recursively(ecx: &InterpCx<'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool {
+    fn enforce_validity_recursively(
+        ecx: &InterpCx<'tcx, Self>,
+        _layout: TyAndLayout<'tcx>,
+    ) -> bool {
         ecx.machine.validation == ValidationMode::Deep
     }
 

Original file line number	Diff line number	Diff line change
`@@ -932,7 +932,10 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {`
`932`	`932`	`ecx.machine.validation != ValidationMode::No`
`933`	`933`	`}`
`934`	`934`	`#[inline(always)]`
`935`		`- fn enforce_validity_recursively(ecx: &InterpCx<'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool {`
	`935`	`+ fn enforce_validity_recursively(`
	`936`	`+ ecx: &InterpCx<'tcx, Self>,`
	`937`	`+ _layout: TyAndLayout<'tcx>,`
	`938`	`+ ) -> bool {`
`936`	`939`	`ecx.machine.validation == ValidationMode::Deep`
`937`	`940`	`}`
`938`	`941`