From 8c721805502c2162badcfd8df6f98122b87149e6 Mon Sep 17 00:00:00 2001 From: Fokko Driesprong Date: Tue, 21 Oct 2025 08:14:24 +0200 Subject: [PATCH] chore: Follow up on TODO in `log_replay.rs` --- kernel/src/log_replay.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel/src/log_replay.rs b/kernel/src/log_replay.rs index 9f4016da1..0d0eba8f5 100644 --- a/kernel/src/log_replay.rs +++ b/kernel/src/log_replay.rs @@ -318,9 +318,9 @@ pub(crate) trait LogReplayProcessor: Sized { action_iter .map(move |actions_batch| self.process_actions_batch(actions_batch?)) .filter(|res| { - // TODO: Leverage .is_none_or() when msrv = 1.82 res.as_ref() - .map_or(true, |result| result.has_selected_rows()) + .ok() + .is_none_or(|result| result.has_selected_rows()) }) }