Upgrade toolchain to nightly-2024-01-17#2976

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

celinval:toolchain-2024-01-17celinval/kani-dev:toolchain-2024-01-17Copy head branch name to clipboard