fmt

RalfJung · RalfJung · commit 7c3c2716ff46 · 2024-04-17T21:20:25.000+02:00
diff --git a/src/tools/miri/src/alloc_addresses/mod.rs b/src/tools/miri/src/alloc_addresses/mod.rs
@@ -141,11 +141,7 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
         }
     }
 
-    fn addr_from_alloc_id(
-        &self,
-        alloc_id: AllocId,
-        _kind: MemoryKind,
-    ) -> InterpResult<'tcx, u64> {
+    fn addr_from_alloc_id(&self, alloc_id: AllocId, _kind: MemoryKind) -> InterpResult<'tcx, u64> {
         let ecx = self.eval_context_ref();
         let mut global_state = ecx.machine.alloc_addresses.borrow_mut();
         let global_state = &mut *global_state;

Original file line number	Diff line number	Diff line change
`@@ -141,11 +141,7 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`141`	`141`	`}`
`142`	`142`	`}`
`143`	`143`
`144`		`- fn addr_from_alloc_id(`
`145`		`- &self,`
`146`		`- alloc_id: AllocId,`
`147`		`- _kind: MemoryKind,`
`148`		`- ) -> InterpResult<'tcx, u64> {`
	`144`	`+ fn addr_from_alloc_id(&self, alloc_id: AllocId, _kind: MemoryKind) -> InterpResult<'tcx, u64> {`
`149`	`145`	`let ecx = self.eval_context_ref();`
`150`	`146`	`let mut global_state = ecx.machine.alloc_addresses.borrow_mut();`
`151`	`147`	`let global_state = &mut *global_state;`