From 07f1fa7d05fd1ecbbe74707a5564b14796070352 Mon Sep 17 00:00:00 2001 From: Thomas Korrison Date: Tue, 24 Feb 2026 15:06:43 +0000 Subject: [PATCH 1/3] Apply suggested fix to src/ds/frequency_buckets.rs from Copilot Autofix Co-authored-by: Copilot Autofix powered by AI <223894421+github-code-quality[bot]@users.noreply.github.com> --- src/ds/frequency_buckets.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ds/frequency_buckets.rs b/src/ds/frequency_buckets.rs index 2db4117..67318bb 100644 --- a/src/ds/frequency_buckets.rs +++ b/src/ds/frequency_buckets.rs @@ -2051,7 +2051,7 @@ where let Some(freq) = buckets.min_freq() else { continue; }; - let is_better = best.is_none_or(|(_, best_freq)| freq < best_freq); + let is_better = best.map_or(true, |(_, best_freq)| freq < best_freq); if is_better { best = Some((idx, freq)); } From 80f0c1266f7de8ffbf2d908e9326d341eac77121 Mon Sep 17 00:00:00 2001 From: Thomas Korrison Date: Tue, 24 Feb 2026 15:06:43 +0000 Subject: [PATCH 2/3] Apply suggested fix to src/ds/frequency_buckets.rs from Copilot Autofix Co-authored-by: Copilot Autofix powered by AI <223894421+github-code-quality[bot]@users.noreply.github.com> --- src/ds/frequency_buckets.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ds/frequency_buckets.rs b/src/ds/frequency_buckets.rs index 67318bb..76a2dad 100644 --- a/src/ds/frequency_buckets.rs +++ b/src/ds/frequency_buckets.rs @@ -2013,7 +2013,7 @@ where let Some(freq) = buckets.min_freq() else { continue; }; - let is_better = best.is_none_or(|(_, best_freq)| freq < best_freq); + let is_better = best.map_or(true, |(_, best_freq)| freq < best_freq); if is_better { best = Some((idx, freq)); } From 87a80c36775ac26bebe7dc8a04529c5c5ad5845a Mon Sep 17 00:00:00 2001 From: Thomas Korrison Date: Tue, 24 Feb 2026 15:06:44 +0000 Subject: [PATCH 3/3] Apply suggested fix to src/ds/frequency_buckets.rs from Copilot Autofix Co-authored-by: Copilot Autofix powered by AI <223894421+github-code-quality[bot]@users.noreply.github.com> --- src/ds/frequency_buckets.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ds/frequency_buckets.rs b/src/ds/frequency_buckets.rs index 76a2dad..f7c1a86 100644 --- a/src/ds/frequency_buckets.rs +++ b/src/ds/frequency_buckets.rs @@ -1230,10 +1230,10 @@ where let mut prev = None; let mut next = None; for &f in self.buckets.keys() { - if f < freq && prev.is_none_or(|p| f > p) { + if f < freq && prev.map_or(true, |p| f > p) { prev = Some(f); } - if f > freq && next.is_none_or(|n| f < n) { + if f > freq && next.map_or(true, |n| f < n) { next = Some(f); } }