From f5aff74fc9834d07aca12caf9a2b59c7a9069e1f Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Sat, 28 Mar 2026 23:28:32 +0100
Subject: [PATCH] Explicitly ignore field of PageQueueEntry::Other

This fixes a warning
---
 src/context/memory.rs | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/src/context/memory.rs b/src/context/memory.rs
index 392b641f67..77d260a73e 100644
--- a/src/context/memory.rs
+++ b/src/context/memory.rs
@@ -2886,14 +2886,18 @@ impl<'a, 'addrsp> Flusher<'a, 'addrsp> {
         }
 
         for entry in pages {
-            let PageQueueEntry::Free {
-                base,
-                phys_contiguous_count,
-            } = entry
-            else {
-                continue;
-            };
-            handle_free_action(base, phys_contiguous_count);
+            match entry {
+                PageQueueEntry::Free {
+                    base,
+                    phys_contiguous_count,
+                } => {
+                    handle_free_action(base, phys_contiguous_count);
+                }
+                PageQueueEntry::Other { actions } => {
+                    // We currently invalidate everything on each flush
+                    let _ = actions;
+                }
+            }
         }
     }
 }