Prepare for merging from rust-lang/rust

The rustc-josh-sync Cronjob Bot · The rustc-josh-sync Cronjob Bot · commit a3510c719980 · 2025-08-18T04:22:18.000Z
This updates the rust-version file to 425a9c0.
diff --git a/src/doc/rustc-dev-guide/rust-version b/src/doc/rustc-dev-guide/rust-version
@@ -1 +1 @@
-6bcdcc73bd11568fd85f5a38b58e1eda054ad1cd
+425a9c0a0e365c0b8c6cfd00c2ded83a73bed9a0
