Fix lint

diff --git a/src/codegen.rs b/src/codegen.rs
index 7297b72c1556587f44a707feff8e130ab5f168d3..bc6756401f110d104fa55e763a99dcdce0dd0d1c 100644 (file)
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -296,11 +296,10 @@ impl DebrayAllocator {
                     self.mark_var_in_non_callable(var_num, term_loc, vr, code);
                     temp_v!(arg)
                 } else {
-                    match &self.var_data.records[var_num].allocation {
-                        VarAlloc::Perm(_, PermVarAllocation::Pending) => {
-                            self.mark_var_in_non_callable(var_num, term_loc, vr, code);
-                        }
-                        _ => {}
+                    if let VarAlloc::Perm(_, PermVarAllocation::Pending) =
+                        &self.var_data.records[var_num].allocation
+                    {
+                        self.mark_var_in_non_callable(var_num, term_loc, vr, code);
                     }
 
                     self.increment_running_count(var_num);