Automatic toolchain upgrade to nightly-2025-10-15#4414

Merged

tautschnig merged 1 commit intomainfrom

toolchain-2025-10-15

Oct 15, 2025

Commits on Oct 15, 2025

Upgrade Rust toolchain to nightly-2025-10-15

celinval
authored and
github-actions[bot]
committed