From 7e0cdc35e2fdf6421020cd6f76f5b60fb8f94b9e Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Wed, 28 Feb 2024 16:11:31 +0000
Subject: [PATCH] Remove redundant imports causing warnings

---
 kani-compiler/src/kani_compiler.rs    | 4 +---
 kani-driver/src/args/playback_args.rs | 2 --
 tools/compiletest/src/runtest.rs      | 1 -
 3 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/kani-compiler/src/kani_compiler.rs b/kani-compiler/src/kani_compiler.rs
index 118821f5995f..48b4318db5bf 100644
--- a/kani-compiler/src/kani_compiler.rs
+++ b/kani-compiler/src/kani_compiler.rs
@@ -465,10 +465,8 @@ fn metadata_output_path(tcx: TyCtxt) -> PathBuf {
 #[cfg(test)]
 mod tests {
     use super::*;
-    use kani_metadata::{HarnessAttributes, HarnessMetadata};
+    use kani_metadata::HarnessAttributes;
     use rustc_data_structures::fingerprint::Fingerprint;
-    use rustc_hir::definitions::DefPathHash;
-    use std::collections::HashMap;
 
     fn mock_next_harness_id() -> HarnessId {
         static mut COUNTER: u64 = 0;
diff --git a/kani-driver/src/args/playback_args.rs b/kani-driver/src/args/playback_args.rs
index bdad446a1158..ad82d9632a7a 100644
--- a/kani-driver/src/args/playback_args.rs
+++ b/kani-driver/src/args/playback_args.rs
@@ -100,8 +100,6 @@ impl ValidateArgs for PlaybackArgs {
 
 #[cfg(test)]
 mod tests {
-    use clap::Parser;
-
     use super::*;
 
     #[test]
diff --git a/tools/compiletest/src/runtest.rs b/tools/compiletest/src/runtest.rs
index ee89c252dc4f..7925ed83e6e5 100644
--- a/tools/compiletest/src/runtest.rs
+++ b/tools/compiletest/src/runtest.rs
@@ -23,7 +23,6 @@ use std::process::{Command, ExitStatus, Output, Stdio};
 use std::str;
 
 use serde::{Deserialize, Serialize};
-use serde_yaml;
 use tracing::*;
 use wait_timeout::ChildExt;