From 398a4ce7baaf5852b7672089d866346882bc6229 Mon Sep 17 00:00:00 2001 From: Felipe Monteiro Date: Fri, 25 Sep 2026 16:16:29 +0000 Subject: [PATCH] Update toolchain to nightly-2026-09-24 `rustc_hir` stopped re-exporting `AttrArgs` at its root (rust-lang/rust#163207, "Update deprecated rustc_hir imports"). The type now lives in `rustc_attr_ir`, which `rustc_hir` re-exports as `attrs`, so the import moves to `rustc_hir::attrs::AttrArgs`. Note this is not `rustc_ast::AttrArgs`, which the compiler helpfully suggests and which is a different type: the AST one carries a full expression, the HIR one carries a lowered literal, and `Attribute::get_normal_item` returns the latter. Resolves #4866 --- kani-compiler/src/kani_middle/attributes.rs | 3 ++- rust-toolchain.toml | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/kani-compiler/src/kani_middle/attributes.rs b/kani-compiler/src/kani_middle/attributes.rs index f4fbdf8cb0e3..e04e8f6a5e53 100644 --- a/kani-compiler/src/kani_middle/attributes.rs +++ b/kani-compiler/src/kani_middle/attributes.rs @@ -10,7 +10,8 @@ use rustc_ast::{LitKind, MetaItem, MetaItemKind}; use rustc_data_structures::fx::FxHashMap; use rustc_errors::ErrorGuaranteed; use rustc_hir::{ - AttrArgs, Attribute, + Attribute, + attrs::AttrArgs, def::DefKind, def_id::{DefId, LocalDefId}, }; diff --git a/rust-toolchain.toml b/rust-toolchain.toml index ad10e41a5538..4522c27a9bce 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2026-09-23" +channel = "nightly-2026-09-24" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]