From 3b9665fcebe1a3d773996dbd54895ce483c34ea0 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
Date: Thu, 27 Jun 2024 14:54:06 -0600
Subject: [PATCH] Upgrade rust toolchain to 06-26 (#3299)

Related change:
- https://github.com/rust-lang/rust/commit/24e41f1d13


Resolves #3294

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_middle/intrinsics.rs | 2 +-
 rust-toolchain.toml                         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-compiler/src/kani_middle/intrinsics.rs b/kani-compiler/src/kani_middle/intrinsics.rs
index 82a75a91f1ad..73e42be00e7b 100644
--- a/kani-compiler/src/kani_middle/intrinsics.rs
+++ b/kani-compiler/src/kani_middle/intrinsics.rs
@@ -77,7 +77,7 @@ impl<'tcx> ModelIntrinsics<'tcx> {
             let Operand::Constant(fn_def) = func else { unreachable!() };
             fn_def.const_ = mirConst::from_value(
                 ConstValue::ZeroSized,
-                tcx.type_of(stub_id).instantiate(tcx, &new_gen_args),
+                tcx.type_of(stub_id).instantiate(tcx, &*new_gen_args),
             );
         } else {
             debug!(?arg_ty, "replace_simd_bitmask failed");
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 18be92ff77ee..e00fa6c1b0e3 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-06-25"
+channel = "nightly-2024-06-26"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]