clippy fix

This commit is contained in:
microproofs
2024-07-24 11:29:55 -04:00
parent 1001e83374
commit c286ada08d
2 changed files with 12 additions and 15 deletions

View File

@@ -988,21 +988,18 @@ impl Term<Name> {
}
}
fn pierce_no_inlines<'a>(&'a self) -> &'a Self {
fn pierce_no_inlines(&self) -> &Self {
let mut term = self;
loop {
match term {
Term::Lambda {
parameter_name,
body,
} => {
if parameter_name.as_ref().text == NO_INLINE {
term = body;
} else {
break;
}
}
_ => break,
while let Term::Lambda {
parameter_name,
body,
} = term
{
if parameter_name.as_ref().text == NO_INLINE {
term = body;
} else {
break;
}
}