Fixed formatting using rustfmt

Author: atsmtat

src/bin/miri.rs

@@ -390,10 +390,12 @@ fn main() {
                     let action = match arg.strip_prefix("-Zmiri-isolated-op=").unwrap() {
                         "hide" => miri::IsolatedOp::Reject(miri::RejectOpWith::NoWarning),
                         "warn" => miri::IsolatedOp::Reject(miri::RejectOpWith::Warning),
-                        "warn-nobacktrace" => miri::IsolatedOp::Reject(miri::RejectOpWith::WarningWithoutBacktrace),
+                        "warn-nobacktrace" =>
+                            miri::IsolatedOp::Reject(miri::RejectOpWith::WarningWithoutBacktrace),
                         "allow" => miri::IsolatedOp::Allow,
-                        _ => panic!("-Zmiri-isolated-op must be `hide`, `warn`, `warn-nobacktrace`, or `allow`"),
-                        
+                        _ => panic!(
+                            "-Zmiri-isolated-op must be `hide`, `warn`, `warn-nobacktrace`, or `allow`"
+                        ),
                     };
                     miri_config.isolated_op = action;
                 }

src/diagnostics.rs

@@ -312,22 +312,17 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                     CreatedCallId(id) => format!("function call with id {}", id),
                     CreatedAlloc(AllocId(id)) => format!("created allocation with id {}", id),
                     FreedAlloc(AllocId(id)) => format!("freed allocation with id {}", id),
-                    RejectedIsolatedOp(ref op) => format!("`{}` was made to return an error due to isolation", op),
+                    RejectedIsolatedOp(ref op) =>
+                        format!("`{}` was made to return an error due to isolation", op),
                 };
 
                 let (title, diag_level) = match e {
-                    RejectedIsolatedOp(_) => ("operation rejected by isolation", DiagLevel::Warning),
+                    RejectedIsolatedOp(_) =>
+                        ("operation rejected by isolation", DiagLevel::Warning),
                     _ => ("tracking was triggered", DiagLevel::Note),
                 };
 
-                report_msg(
-                    *this.tcx,
-                    diag_level,
-                    title,
-                    msg,
-                    vec![],
-                    &stacktrace,
-                );
+                report_msg(*this.tcx, diag_level, title, msg, vec![], &stacktrace);
             }
         });
     }

src/lib.rs

@@ -59,7 +59,9 @@ pub use crate::diagnostics::{
     register_diagnostic, report_error, EvalContextExt as DiagnosticsEvalContextExt,
     NonHaltingDiagnostic, TerminationInfo,
 };
-pub use crate::eval::{create_ecx, eval_main, AlignmentCheck, IsolatedOp, MiriConfig, RejectOpWith};
+pub use crate::eval::{
+    create_ecx, eval_main, AlignmentCheck, IsolatedOp, MiriConfig, RejectOpWith,
+};
 pub use crate::helpers::EvalContextExt as HelpersEvalContextExt;
 pub use crate::machine::{
     AllocExtra, Evaluator, FrameData, MemoryExtra, MiriEvalContext, MiriEvalContextExt,

src/shims/env.rs

@@ -355,7 +355,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
     ) -> InterpResult<'tcx, u32> {
         let this = self.eval_context_mut();
         this.assert_target_os("windows", "GetCurrentDirectoryW");
-        
+
         match this.machine.isolated_op {
             IsolatedOp::Allow => {
                 let size = u64::from(this.read_scalar(size_op)?.to_u32()?);
@@ -364,7 +364,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 // If we cannot get the current directory, we return 0
                 match env::current_dir() {
                     Ok(cwd) =>
-                        return Ok(windows_check_buffer_size(this.write_path_to_wide_str(&cwd, buf, size)?)),
+                        return Ok(windows_check_buffer_size(
+                            this.write_path_to_wide_str(&cwd, buf, size)?,
+                        )),
                     Err(e) => this.set_last_error_from_io_error(e)?,
                 }
             }
@@ -419,7 +421,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
 
         match this.machine.isolated_op {
             IsolatedOp::Allow => {
-                let path = this.read_path_from_wide_str(this.read_scalar(path_op)?.check_init()?)?;
+                let path =
+                    this.read_path_from_wide_str(this.read_scalar(path_op)?.check_init()?)?;
 
                 match env::set_current_dir(path) {
                     Ok(()) => Ok(1),