diff --git a/source/rust_verify/src/lifetime_generate.rs b/source/rust_verify/src/lifetime_generate.rs
index 29d046caf0..0fe97f9f14 100644
--- a/source/rust_verify/src/lifetime_generate.rs
+++ b/source/rust_verify/src/lifetime_generate.rs
@@ -2615,13 +2615,15 @@ fn erase_mir_datatype<'tcx>(ctxt: &Context<'tcx>, state: &mut State, id: DefId)
     };
 
     let rust_item = verus_items::get_rust_item(ctxt.tcx, id);
-    if let Some(RustItem::Box
+    if let Some(
+        RustItem::Box
         | RustItem::Rc
         | RustItem::Arc
         | RustItem::AllocGlobal
         | RustItem::ManuallyDrop
         | RustItem::PhantomData,
-    ) = rust_item {
+    ) = rust_item
+    {
         return;
     }