more fmt

circify · Feb 7, 2025 · eab55b6 · eab55b6
1 parent 2e7c0aa
commit eab55b6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/ir/term/fmt.rs b/src/ir/term/fmt.rs
@@ -508,8 +508,7 @@ impl DisplayIr for FieldV {
     fn ir_fmt(&self, f: &mut IrFormatter) -> FmtResult {
         let omit_field = f.cfg.hide_field
             || f.default_field
-                .as_ref()
-                .map_or(false, |field| field == &self.ty());
+                .as_ref().is_some_and(|field| field == &self.ty());
         let mut i = self.i();
         let mod_bits = self.modulus().significant_bits();
         if i.significant_bits() + 1 >= mod_bits {