Upgrade Rust toolchain to 2024-03-14 (#3081)

Upgrade Rust toolchain to 2024-03-14

Resolves #3073 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

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(']')
-    }
-}

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"]