Upgrade Rust toolchain to nightly-2026-02-20 - #4713

Upgrade Rust toolchain to nightly-2026-02-20#4713

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-2026-02-20-prtautschnig/kani:toolchain-2026-02-20-prCopy head branch name to clipboard