Upgrade toolchain to nightly-2024-04-15#3144

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:toolchain-2024-04-15celinval/kani-dev:toolchain-2024-04-15Copy head branch name to clipboard