diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-25 05:08:59 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-25 05:08:59 +0000 |
| commit | 0dba9f539f92c2abe7a8d3997a91e6884caa1fcf (patch) | |
| tree | 66acfb52fdf655036e377306b48384f49ff8b62b | |
| parent | 8ff5894541e058efef81be97689d83401b6793af (diff) | |
| download | rust-0dba9f539f92c2abe7a8d3997a91e6884caa1fcf.tar.gz rust-0dba9f539f92c2abe7a8d3997a91e6884caa1fcf.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/machine.rs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 7271d3f619c..142c6ddf933 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -76,13 +76,8 @@ pub struct FrameExtra<'tcx> { impl<'tcx> std::fmt::Debug for FrameExtra<'tcx> { fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { // Omitting `timing`, it does not support `Debug`. - let FrameExtra { - borrow_tracker, - catch_unwind, - timing: _, - is_user_relevant, - data_race, - } = self; + let FrameExtra { borrow_tracker, catch_unwind, timing: _, is_user_relevant, data_race } = + self; f.debug_struct("FrameData") .field("borrow_tracker", borrow_tracker) .field("catch_unwind", catch_unwind) |