Clippy fixes

This commit is contained in:
microproofs 2024-09-12 19:34:40 -04:00
parent 3f2de2665d
commit 16e222e997
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
2 changed files with 2 additions and 2 deletions

View File

@ -2861,7 +2861,7 @@ impl<'a> CodeGenerator<'a> {
props.final_clause,
);
if &elem_name != DISCARDED && !defined_tails.is_empty() {
if elem_name != DISCARDED && !defined_tails.is_empty() {
list_tail = Some((tail.unwrap().to_string(), elem_name.to_string()));
}

View File

@ -446,7 +446,7 @@ pub fn identify_recursive_static_params(
// - a variable that is bound to a different name
// - any other type of expression
let param_is_different = match arg {
AirTree::Var { name, .. } => name != param || false,
AirTree::Var { name, .. } => name != param,
_ => true,
};
// If so, then we disqualify this parameter from being a recursive static parameter