diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-02-11 05:05:04 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-02-11 05:05:04 +0000 |
| commit | 48bb2bf4e6bfc5c9ffc9cb3f34a9163c05ce2cb2 (patch) | |
| tree | 3dfb18335ff56656383b97106112e199617842e6 /src | |
| parent | 31b66251bea1990647792d680b2a187cdf4aee62 (diff) | |
| download | rust-48bb2bf4e6bfc5c9ffc9cb3f34a9163c05ce2cb2.tar.gz rust-48bb2bf4e6bfc5c9ffc9cb3f34a9163c05ce2cb2.zip | |
fmt
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 03f0bf9f327..7825673db00 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -285,7 +285,10 @@ pub fn report_error<'tcx, 'mir>( ) => { ecx.handle_ice(); // print interpreter backtrace - bug!("This validation error should be impossible in Miri: {}", format_interp_error(ecx.tcx.dcx(), e)); + bug!( + "This validation error should be impossible in Miri: {}", + format_interp_error(ecx.tcx.dcx(), e) + ); } UndefinedBehavior(_) => "Undefined Behavior", ResourceExhaustion(_) => "resource exhaustion", @@ -299,7 +302,10 @@ pub fn report_error<'tcx, 'mir>( ) => "post-monomorphization error", _ => { ecx.handle_ice(); // print interpreter backtrace - bug!("This error should be impossible in Miri: {}", format_interp_error(ecx.tcx.dcx(), e)); + bug!( + "This error should be impossible in Miri: {}", + format_interp_error(ecx.tcx.dcx(), e) + ); } }; #[rustfmt::skip] |