stand by Kawhi being the best

This commit is contained in:
Ayaz Hafiz 2023-01-11 14:30:38 -06:00
parent 058644aa96
commit 31f3caef74
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

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