Skip to content

Commit

Permalink
Merge pull request #4164 from RalfJung/manual_repeat_n
Browse files Browse the repository at this point in the history
fix clippy lint manual_repeat_n
  • Loading branch information
RalfJung authored Jan 30, 2025
2 parents aeedb41 + c05edae commit ed8781f
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 3 deletions.
2 changes: 0 additions & 2 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -36,8 +36,6 @@
clippy::needless_question_mark,
clippy::needless_lifetimes,
clippy::too_long_first_doc_paragraph,
// Temporarily disabled as fixing it would cause conflicts
clippy::manual_repeat_n,
// We don't use translatable diagnostics
rustc::diagnostic_outside_of_impl,
// We are not implementing queries here so it's fine
Expand Down
2 changes: 1 addition & 1 deletion src/shims/windows/foreign_items.rs
Original file line number Diff line number Diff line change
Expand Up @@ -335,7 +335,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
// Initialize with `0`.
this.write_bytes_ptr(
system_info.ptr(),
iter::repeat(0u8).take(system_info.layout.size.bytes_usize()),
iter::repeat_n(0u8, system_info.layout.size.bytes_usize()),
)?;
// Set selected fields.
this.write_int_fields_named(
Expand Down

0 comments on commit ed8781f

Please sign in to comment.