diff --git a/kani-compiler/src/kani_middle/resolve.rs b/kani-compiler/src/kani_middle/resolve.rs
index b2b00c1e4a40..d2b1fcd06471 100644
--- a/kani-compiler/src/kani_middle/resolve.rs
+++ b/kani-compiler/src/kani_middle/resolve.rs
@@ -586,7 +586,8 @@ where
         debug!(?name, ?ty, "resolve_in_primitive");
         let internal_ty = rustc_internal::internal(tcx, ty);
         let simple_ty =
-            fast_reject::simplify_type(tcx, internal_ty, TreatParams::AsCandidateKey).unwrap();
+            fast_reject::simplify_type(tcx, internal_ty, TreatParams::InstantiateWithInfer)
+                .unwrap();
         let impls = tcx.incoherent_impls(simple_ty).unwrap();
         // Find the primitive impl.
         let item = impls
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index c01df140e897..871f98b09046 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-09-06"
+channel = "nightly-2024-09-07"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]