Fix clippy::unnecessary_map_or lint

dimforge · Jan 10, 2025 · fda3070 · fda3070
1 parent 64ce3d3
commit fda3070
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 {