Prepare for merging from rust-lang/rust

The rustc-josh-sync Cronjob Bot · The rustc-josh-sync Cronjob Bot · commit ed094318d52e · 2025-11-10T04:13:13.000Z
This updates the rust-version file to 8401398.
diff --git a/src/doc/rustc-dev-guide/rust-version b/src/doc/rustc-dev-guide/rust-version
@@ -1 +1 @@
-c5dabe8cf798123087d094f06417f5a767ca73e8
+8401398e1f14a24670ee1a3203713dc2f0f8b3a8
