Automatic toolchain upgrade to nightly-2023-09-08#2752

tautschnig merged 2 commits intomainmodel-checking/kani:mainfrom

toolchain-2023-09-08model-checking/kani:toolchain-2023-09-08Copy head branch name to clipboard