Update Rust toolchain nightly-2024-05-24#3212

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

qinheping:update-toolchainqinheping/kani:update-toolchainCopy head branch name to clipboard