Skip to content

Commit dc88a6a

Browse files
committed
clippy
1 parent 7014ae8 commit dc88a6a

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

src/tools/miri/cargo-miri/src/phases.rs

-1
Original file line numberDiff line numberDiff line change
@@ -668,7 +668,6 @@ pub fn phase_runner(mut binary_args: impl Iterator<Item = String>, phase: Runner
668668
RunnerPhase::Rustdoc => {
669669
cmd.stdin(std::process::Stdio::piped());
670670
// the warning is wrong, we have a `wait` inside the `scope` closure.
671-
#[expect(clippy::zombie_processes)]
672671
let mut child = cmd.spawn().expect("failed to spawn process");
673672
let child_stdin = child.stdin.take().unwrap();
674673
// Write stdin in a background thread, as it may block.

src/tools/miri/src/concurrency/vector_clock.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -151,7 +151,7 @@ impl VClock {
151151
/// Load the internal timestamp slice in the vector clock
152152
#[inline]
153153
pub(super) fn as_slice(&self) -> &[VTimestamp] {
154-
debug_assert!(!self.0.last().is_some_and(|t| t.time() == 0));
154+
debug_assert!(self.0.last().is_none_or(|t| t.time() != 0));
155155
self.0.as_slice()
156156
}
157157

0 commit comments

Comments
 (0)