Skip to content

Commit 0dba9f5

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 8ff5894 commit 0dba9f5

File tree

1 file changed

+2
-7
lines changed

1 file changed

+2
-7
lines changed

src/tools/miri/src/machine.rs

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -76,13 +76,8 @@ pub struct FrameExtra<'tcx> {
7676
impl<'tcx> std::fmt::Debug for FrameExtra<'tcx> {
7777
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
7878
// Omitting `timing`, it does not support `Debug`.
79-
let FrameExtra {
80-
borrow_tracker,
81-
catch_unwind,
82-
timing: _,
83-
is_user_relevant,
84-
data_race,
85-
} = self;
79+
let FrameExtra { borrow_tracker, catch_unwind, timing: _, is_user_relevant, data_race } =
80+
self;
8681
f.debug_struct("FrameData")
8782
.field("borrow_tracker", borrow_tracker)
8883
.field("catch_unwind", catch_unwind)

0 commit comments

Comments
 (0)