about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-10-04 10:12:05 +0200
committerRalf Jung <post@ralfj.de>2024-10-04 10:12:05 +0200
commitdc88a6a788ebbcc2c342b2cfb584f48b2b78b43f (patch)
tree995ce1b435419b8397598958aba5a4281daef5ac
parent7014ae87dfcf17f57c42a23af11dac6778842b2a (diff)
downloadrust-dc88a6a788ebbcc2c342b2cfb584f48b2b78b43f.tar.gz
rust-dc88a6a788ebbcc2c342b2cfb584f48b2b78b43f.zip
clippy
-rw-r--r--src/tools/miri/cargo-miri/src/phases.rs1
-rw-r--r--src/tools/miri/src/concurrency/vector_clock.rs2
2 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs
index 52bc8e1a3b6..f1f76fd338c 100644
--- a/src/tools/miri/cargo-miri/src/phases.rs
+++ b/src/tools/miri/cargo-miri/src/phases.rs
@@ -668,7 +668,6 @@ pub fn phase_runner(mut binary_args: impl Iterator<Item = String>, phase: Runner
             RunnerPhase::Rustdoc => {
                 cmd.stdin(std::process::Stdio::piped());
                 // the warning is wrong, we have a `wait` inside the `scope` closure.
-                #[expect(clippy::zombie_processes)]
                 let mut child = cmd.spawn().expect("failed to spawn process");
                 let child_stdin = child.stdin.take().unwrap();
                 // Write stdin in a background thread, as it may block.
diff --git a/src/tools/miri/src/concurrency/vector_clock.rs b/src/tools/miri/src/concurrency/vector_clock.rs
index f9025e06c68..34572663429 100644
--- a/src/tools/miri/src/concurrency/vector_clock.rs
+++ b/src/tools/miri/src/concurrency/vector_clock.rs
@@ -151,7 +151,7 @@ impl VClock {
     /// Load the internal timestamp slice in the vector clock
     #[inline]
     pub(super) fn as_slice(&self) -> &[VTimestamp] {
-        debug_assert!(!self.0.last().is_some_and(|t| t.time() == 0));
+        debug_assert!(self.0.last().is_none_or(|t| t.time() != 0));
         self.0.as_slice()
     }