diff --git a/crates/compiler/mono/src/ir.rs b/crates/compiler/mono/src/ir.rs
index d9c179aa4f..150cf89596 100644
--- a/crates/compiler/mono/src/ir.rs
+++ b/crates/compiler/mono/src/ir.rs
@@ -2360,8 +2360,7 @@ impl<'a> Stmt<'a> {
 
         matches!(
             self,
-            Switch { .. } | Ret(_) | Jump(_, _)
-            // TODO for Switch; is this the reason Lean only looks at the outermost `when`?
+            Switch { .. } | Ret(_) | Jump(_, _) // TODO for Switch; is this the reason Lean only looks at the outermost `when`?
         )
     }