diff --git a/c2rust-analyze/src/analyze.rs b/c2rust-analyze/src/analyze.rs
index 8feceea1d8..d52d04cef2 100644
--- a/c2rust-analyze/src/analyze.rs
+++ b/c2rust-analyze/src/analyze.rs
@@ -1491,7 +1491,7 @@ fn run(tcx: TyCtxt) {
                 ptrs.push(ptr);
                 format!("{{{}}}", ptr)
             });
-            if ptrs.len() == 0 {
+            if ptrs.is_empty() {
                 continue;
             }
             // TODO: emit addr_of when it's nontrivial