fmt

verus-lang · Jan 29, 2025 · 303d265 · 303d265
1 parent 813d3bb
commit 303d265
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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;
     }