Update the rust toolchain to nightly-2024-07-29

.github/workflows/verify-std-check.yml

@@ -39,6 +39,7 @@ jobs:
  uses: actions/checkout@v4
  with:
  path: kani
+ fetch-depth: 0
 
  - name: Setup Kani Dependencies
  uses: ./kani/.github/actions/setup

kani-compiler/src/codegen_cprover_gotoc/utils/debug.rs

@@ -25,7 +25,7 @@ pub fn init() {
 
 /// Custom panic hook to add more information when panic occurs during goto-c codegen.
 #[allow(clippy::type_complexity)]
-static DEFAULT_HOOK: LazyLock<Box<dyn Fn(&panic::PanicInfo<'_>) + Sync + Send + 'static>> =
+static DEFAULT_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync + Send + 'static>> =
  LazyLock::new(|| {
  let hook = panic::take_hook();
  panic::set_hook(Box::new(|info| {

kani-compiler/src/session.rs

@@ -29,7 +29,7 @@ const BUG_REPORT_URL: &str =
 
 // Custom panic hook when running under user friendly message format.
 #[allow(clippy::type_complexity)]
-static PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicInfo<'_>) + Sync + Send + 'static>> =
+static PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync + Send + 'static>> =
  LazyLock::new(|| {
  let hook = panic::take_hook();
  panic::set_hook(Box::new(|info| {
@@ -46,7 +46,7 @@ static PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicInfo<'_>) + Sync + Send + 's
 
 // Custom panic hook when executing under json error format `--error-format=json`.
 #[allow(clippy::type_complexity)]
-static JSON_PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicInfo<'_>) + Sync + Send + 'static>> =
+static JSON_PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync + Send + 'static>> =
  LazyLock::new(|| {
  let hook = panic::take_hook();
  panic::set_hook(Box::new(|info| {

rust-toolchain.toml

@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2024-07-21"
+channel = "nightly-2024-07-29"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]