Clippy fix

This commit is contained in:
microproofs 2025-01-15 18:28:41 +07:00
parent a9bedda5ed
commit ade50dd462
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 1 additions and 1 deletions

View File

@ -1316,7 +1316,7 @@ impl Term<Name> {
// So it costs more size to have them hoisted
Term::Delay(e) if matches!(e.as_ref(), Term::Error) => true,
// If it wraps a builtin with consts or arguments passed in then inline
Term::Lambda { .. } => arg_term.is_a_builtin_wrapper(&context),
Term::Lambda { .. } => arg_term.is_a_builtin_wrapper(context),
// Inline smaller terms too
Term::Constant(_) | Term::Var(_) | Term::Builtin(_) => true,