Update the rust toolchain to nightly-2023-12-03#2913

celinval merged 17 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-2023-12-03-manualtautschnig/kani:toolchain-2023-12-03-manualCopy head branch name to clipboard