Upgrade Rust toolchain to 2025-11-19#4482

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-2025-11-19-manualtautschnig/kani:toolchain-2025-11-19-manualCopy head branch name to clipboard