From 196b6e8a25291562818ee50f1fe38578f3a1b991 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Thu, 14 Mar 2024 16:43:25 -0700
Subject: [PATCH] Upgrade Rust toolchain to 2024-03-14

---
 kani-compiler/src/kani_queries/mod.rs | 18 ------------------
 rust-toolchain.toml                   |  2 +-
 2 files changed, 1 insertion(+), 19 deletions(-)

diff --git a/kani-compiler/src/kani_queries/mod.rs b/kani-compiler/src/kani_queries/mod.rs
index e918bf1b8a73..d6b37a35f9cb 100644
--- a/kani-compiler/src/kani_queries/mod.rs
+++ b/kani-compiler/src/kani_queries/mod.rs
@@ -4,7 +4,6 @@
 
 use cbmc::{InternString, InternedString};
 use kani_metadata::AssignsContract;
-use std::fmt::{Display, Formatter, Write};
 use std::{
     collections::HashMap,
     path::PathBuf,
@@ -65,20 +64,3 @@ impl QueryDb {
         self.modifies_contracts.iter()
     }
 }
-
-struct PrintList<I>(I);
-
-impl<E: Display, I: Iterator<Item = E> + Clone> Display for PrintList<I> {
-    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
-        f.write_char('[')?;
-        let mut is_first = true;
-        for e in self.0.clone() {
-            if is_first {
-                f.write_str(", ")?;
-                is_first = false;
-            }
-            e.fmt(f)?;
-        }
-        f.write_char(']')
-    }
-}
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index b6f6e8a63534..5b83049feef5 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2024-03-11"
+channel = "nightly-2024-03-14"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]