diff --git a/library/core/src/fmt/mod.rs b/library/core/src/fmt/mod.rs
index caa150cf88364..a9af7e00b1d5f 100644
--- a/library/core/src/fmt/mod.rs
+++ b/library/core/src/fmt/mod.rs
@@ -2619,6 +2619,19 @@ impl<'a> Formatter<'a> {
         builder.finish()
     }
 
+    /// Shrinks `derive(Debug)` code, for faster compilation and smaller binaries.
+    /// For C-like enums with concatenated variant name strings.
+    /// Names should be separated by space.
+    #[doc(hidden)]
+    #[unstable(feature = "fmt_helpers_for_derive", issue = "none")]
+    pub fn debug_c_like_enum_write_str<'b>(
+        &'b mut self,
+        names: &str,
+        start_index: usize,
+    ) -> Result {
+        self.write_str(names[start_index..].split(' ').next().unwrap())
+    }
+
     /// Creates a `DebugTuple` builder designed to assist with creation of
     /// `fmt::Debug` implementations for tuple structs.
     ///
diff --git a/library/core/src/slice/ascii.rs b/library/core/src/slice/ascii.rs
index 58c48efa2abbb..ee266a65ba230 100644
--- a/library/core/src/slice/ascii.rs
+++ b/library/core/src/slice/ascii.rs
@@ -28,7 +28,7 @@ impl [u8] {
     }
 
     /// If this slice [`is_ascii`](Self::is_ascii), returns it as a slice of
-    /// [ASCII characters](`ascii::Char`), otherwise returns `None`.
+    /// [ASCII characters](ascii::Char), otherwise returns `None`.
     #[unstable(feature = "ascii_char", issue = "110998")]
     #[must_use]
     #[inline]
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index a915053a5222b..29b899a4560fe 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # standard library we currently track.
 
 [toolchain]
-channel = "nightly-2026-10-22"
+channel = "nightly-2026-10-23"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
index 0ebc05137bda6..d6c5c34d15956 100644
--- a/tool_config/kani-version.toml
+++ b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "cd355b0bccd32300713bc2ce4f765dafa1510607"
+commit = "c5e65fdfc3e15ec32293f2a4c07509aebec033c9"