From e8f748821ff5050619cac3c6c72944592c2dc0e1 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 10 Sep 2025 15:23:19 +0000 Subject: [PATCH] Upgrade Rust toolchain to 2025-09-10 Relevant upstream PR: - https://github.com/rust-lang/rust/pull/145717 (rename erase_regions to erase_and_anonymize_regions) Resolves: #4353 --- kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs | 2 +- rust-toolchain.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs index 9f682fbc94ca..cd94168d0244 100644 --- a/kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs +++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs @@ -424,7 +424,7 @@ impl<'tcx, 'r> GotocCtx<'tcx, 'r> { if let Some(principal) = binder.principal() { let poly = principal.with_self_ty(self.tcx, t); let poly = self.tcx.instantiate_bound_regions_with_erased(poly); - let poly = self.tcx.erase_regions(poly); + let poly = self.tcx.erase_and_anonymize_regions(poly); let mut flds = self .tcx .vtable_entries(poly) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 0301561f7032..0290ed8f075c 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-09-09" +channel = "nightly-2025-09-10" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]