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"]