From f557b4ba9bcd2dca724d47b0fee482b86399f424 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 7 Nov 2025 08:50:35 +0000
Subject: [PATCH] Upgrade Rust toolchain to 2025-11-07

Relevant upstream PR:
- https://github.com/rust-lang/rust/pull/148188 (feat: Use
  annotate-snippets by default on nightly)

Resolves: #4453
---
 kani-compiler/src/session.rs | 2 +-
 rust-toolchain.toml          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-compiler/src/session.rs b/kani-compiler/src/session.rs
index b84420cb62b2..13c6d93b0bd9 100644
--- a/kani-compiler/src/session.rs
+++ b/kani-compiler/src/session.rs
@@ -59,7 +59,7 @@ static JSON_PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync +
                 Some(Arc::new(SourceMap::new(FilePathMapping::empty()))),
                 default_translator(),
                 false,
-                HumanReadableErrorType::Default,
+                HumanReadableErrorType::Default { short: false },
                 ColorConfig::Never,
             );
             let registry = ErrorRegistry::new(&[]);
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 8ceedccfa1eb..92600ae6d1e4 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-11-06"
+channel = "nightly-2025-11-07"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]