From e4b72216d73e4a10ac454c794f52e726d332ac2f Mon Sep 17 00:00:00 2001 From: tautschnig <1144736+tautschnig@users.noreply.github.com> Date: Mon, 20 Oct 2025 16:45:51 +0000 Subject: [PATCH 1/2] Upgrade Rust toolchain to nightly-2025-10-19 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 1e8c137b3e0..402c6c50c86 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"] From 84b49d79870bf14f79c75750205447d9b25454c1 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 22 Oct 2025 06:02:50 +0000 Subject: [PATCH 2/2] Update llbc code for https://github.com/rust-lang/rust/pull/144607 --- kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs | 1 - 1 file changed, 1 deletion(-) 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 147bc17eda6..a83cbff0e82 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()