language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

use new name for clippy error

Browse source
This commit is contained in:
Anton-4 2023-01-17 18:19:17 +01:00
parent bbf35af8fa
commit 35b93f0d1e
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/constrain/src/expr.rs
View file

@ -3607,7 +3607,7 @@ pub fn rec_defs_help_simple(
_ => true, // this must be a function
});
// TODO(weakening)
#[allow(clippy::logic_bug)]
#[allow(clippy::overly_complex_bool_expr)]
Generalizable(generalizable || true)
};
@ -3899,7 +3899,7 @@ fn rec_defs_help(
.iter()
.all(|d| is_generalizable_expr(&d.loc_expr.value));
// TODO(weakening)
#[allow(clippy::logic_bug)]
#[allow(clippy::overly_complex_bool_expr)]
Generalizable(generalizable || true)
};