Weaken top-level mutually recursive let bindings as appropriate

This commit is contained in:
Ayaz Hafiz 2023-01-12 15:15:28 -06:00
parent a77f04cd19
commit 95dae5036a
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -3896,9 +3896,7 @@ fn rec_defs_help(
let generalizable = defs
.iter()
.all(|d| is_generalizable_expr(&d.loc_expr.value));
// TODO(weakening)
#[allow(clippy::logic_bug)]
Generalizable(generalizable || true)
Generalizable(generalizable)
};
for def in defs {