chore: address Rust 1.86.0 clippy lints (#7735)

This commit is contained in:
Gaurav Rawat
2025-04-11 17:06:36 +05:30
committed by GitHub
parent b83e044b7d
commit 2123f63bc5
20 changed files with 49 additions and 44 deletions

View File

@ -40,13 +40,15 @@ where
}
fn eval_statement(stmt: &vir::ValuedIfStatement, ctx: &types::Context) -> bool {
Self::eval_condition(&stmt.condition, ctx)
.then(|| {
if Self::eval_condition(&stmt.condition, ctx) {
{
stmt.nested.as_ref().map_or(true, |nested_stmts| {
nested_stmts.iter().any(|s| Self::eval_statement(s, ctx))
})
})
.unwrap_or(false)
}
} else {
false
}
}
fn eval_rule(rule: &vir::ValuedRule<O>, ctx: &types::Context) -> bool {