From 7311f4944122398bad5f14e93f90983edd9eee31 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Mon, 7 Oct 2024 22:35:07 +0000
Subject: [PATCH] clippy fixes

---
 tools/kani-cov/src/report.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/kani-cov/src/report.rs b/tools/kani-cov/src/report.rs
index 0abc9562f5eb..95eba4d252ee 100644
--- a/tools/kani-cov/src/report.rs
+++ b/tools/kani-cov/src/report.rs
@@ -222,8 +222,8 @@ pub fn output_coverage_results(
 /// coverage instrumentation inserts a single-column code span after the end of
 /// a line. More details in <https://github.com/model-checking/kani/issues/3543>
 fn results_with_nonexisting_regions_in_line(
-    results: &Vec<CovResult>,
-    line: &String,
+    results: &[CovResult],
+    line: &str,
     idx: LineNumber,
 ) -> bool {
     let results_with_oob_regions = results.iter().filter(|m| {