From fda3070730ab83d205fcdff62c7d03af7a70e2fe Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sat, 11 Jan 2025 04:13:51 +0700
Subject: [PATCH] Fix `clippy::unnecessary_map_or` lint

---
 src/query/contact/contact_composite_shape_shape.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/query/contact/contact_composite_shape_shape.rs b/src/query/contact/contact_composite_shape_shape.rs
index 82d46f71..e6cd9b83 100644
--- a/src/query/contact/contact_composite_shape_shape.rs
+++ b/src/query/contact/contact_composite_shape_shape.rs
@@ -26,7 +26,7 @@ where
             if let Ok(Some(mut c)) =
                 dispatcher.contact(&part_pos1.inv_mul(pos12), part1, g2, prediction)
             {
-                let replace = res.map_or(true, |cbest| c.dist < cbest.dist);
+                let replace = res.is_none_or(|cbest| c.dist < cbest.dist);
 
                 if replace {
                     if let Some(part_pos1) = part_pos1 {