chore: address Rust 1.84.0 clippy lints (#7021)

2025-11-02 12:06:56 +08:00 · 2025-01-15 18:19:41 +05:30
parent bd1f077057
commit 4664d4bc4b
36 changed files with 159 additions and 213 deletions
--- a/crates/euclid/src/backend/vir_interpreter/types.rs
+++ b/crates/euclid/src/backend/vir_interpreter/types.rs
@ -31,8 +31,7 @@ impl Context {
                    .get(&key)
                    .and_then(|value| value.get_num_value());

-                value.get_num_value().zip(ctx_num_value).map_or(
-                    false,
+                value.get_num_value().zip(ctx_num_value).is_some_and(
                    |(program_value, ctx_value)| {
                        let program_num = program_value.number;
                        let ctx_num = ctx_value.number;