fmt

viperproject · Sep 29, 2023 · 17ed9fe · 17ed9fe
1 parent 62f8e62
commit 17ed9fe
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/mir-state-analysis/src/utils/repacker.rs b/mir-state-analysis/src/utils/repacker.rs
@@ -358,10 +358,12 @@ impl<'tcx> Place<'tcx> {
         let mut projects_shared_ref = false;
         self.projects_ty(
             |typ| {
-                projects_shared_ref = projects_shared_ref || typ.ty
-                    .ref_mutability()
-                    .map(|m| m.is_not())
-                    .unwrap_or_default();
+                projects_shared_ref = projects_shared_ref
+                    || typ
+                        .ty
+                        .ref_mutability()
+                        .map(|m| m.is_not())
+                        .unwrap_or_default();
                 projects_shared_ref = projects_shared_ref && !typ.ty.is_unsafe_ptr();
                 false
             },