Automatic toolchain upgrade to nightly-2025-10-17#4416

Merged

tautschnig merged 1 commit intomainfrom

toolchain-2025-10-17

Oct 20, 2025

Commits on Oct 19, 2025

Upgrade Rust toolchain to nightly-2025-10-17

tautschnig
authored and
github-actions[bot]
committed