fmt

Author: nia-e

src/alloc_addresses/mod.rs

@@ -497,9 +497,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 // spanning at most range" - so we can't make use of this for
                 // now. Maybe we could also skip over reads/writes that hit the
                 // same bytes, but that's best added together with the stuff above.
-                shims::trace::AccessEvent::Read(range) => {
-                    reads.push(range)
-                }
+                shims::trace::AccessEvent::Read(range) => reads.push(range),
                 shims::trace::AccessEvent::Write(range) => {
                     writes.push(range);
                 }