diff --git a/kani-driver/src/metadata.rs b/kani-driver/src/metadata.rs
index 1a71e41d71f4..ef9472f4a9cf 100644
--- a/kani-driver/src/metadata.rs
+++ b/kani-driver/src/metadata.rs
@@ -177,7 +177,7 @@ pub mod tests {
 
     #[test]
     fn check_find_proof_harness_without_exact() {
-        let harnesses = vec![
+        let harnesses = [
             mock_proof_harness("check_one", None, None, None),
             mock_proof_harness("module::check_two", None, None, None),
             mock_proof_harness("module::not_check_three", None, None, None),
@@ -222,7 +222,7 @@ pub mod tests {
     fn check_find_proof_harness_with_exact() {
         // Check with exact match
 
-        let harnesses = vec![
+        let harnesses = [
             mock_proof_harness("check_one", None, None, None),
             mock_proof_harness("module::check_two", None, None, None),
             mock_proof_harness("module::not_check_three", None, None, None),
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index ea766172a881..23776ef729ea 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-09-05"
+channel = "nightly-2025-09-06"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]