diff --git a/src/lib.rs b/src/lib.rs index 0063753418b..9fbc3f8a33b 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -17,7 +17,6 @@ clippy::field_reassign_with_default, clippy::from_over_into, clippy::if_same_then_else, - clippy::len_zero, clippy::manual_map, clippy::mem_replace_with_default, clippy::needless_borrow, diff --git a/src/shims/posix/thread.rs b/src/shims/posix/thread.rs index 7840a1e1e97..0b8684d39eb 100644 --- a/src/shims/posix/thread.rs +++ b/src/shims/posix/thread.rs @@ -99,7 +99,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx let this = self.eval_context_mut(); this.assert_target_os("linux", "prctl"); - if args.len() < 1 { + if args.is_empty() { throw_ub_format!( "incorrect number of arguments for `prctl`: got {}, expected at least 1", args.len()