diff options
| author | Ralf Jung <post@ralfj.de> | 2024-10-04 10:12:05 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-10-04 10:12:05 +0200 |
| commit | dc88a6a788ebbcc2c342b2cfb584f48b2b78b43f (patch) | |
| tree | 995ce1b435419b8397598958aba5a4281daef5ac | |
| parent | 7014ae87dfcf17f57c42a23af11dac6778842b2a (diff) | |
| download | rust-dc88a6a788ebbcc2c342b2cfb584f48b2b78b43f.tar.gz rust-dc88a6a788ebbcc2c342b2cfb584f48b2b78b43f.zip | |
clippy
| -rw-r--r-- | src/tools/miri/cargo-miri/src/phases.rs | 1 | ||||
| -rw-r--r-- | src/tools/miri/src/concurrency/vector_clock.rs | 2 |
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() } |
