Automatic toolchain upgrade to nightly-2023-09-16#2773

zhassan-aws merged 1 commit intomainmodel-checking/kani:mainfrom

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