Update the rust toolchain to nightly-2024-04-03#3128

tautschnig wants to merge 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:toolchain-upgrade-2024-04-03-manualtautschnig/kani:toolchain-upgrade-2024-04-03-manualCopy head branch name to clipboard