diff --git a/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs b/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
index 147bc17eda6a..a83cbff0e825 100644
--- a/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
+++ b/kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
@@ -1014,7 +1014,6 @@ impl<'a, 'tcx> Context<'a, 'tcx> {
             let traitref = self
                 .tcx
                 .impl_trait_ref(impl_defid_internal)
-                .unwrap()
                 .skip_binder()
                 .args
                 .first()
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 1e8c137b3e08..402c6c50c862 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-10-18"
+channel = "nightly-2025-10-19"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]