Upgrade Rust toolchain to 2023-08-18#2696

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:toolchain-2023-08-18zhassan-aws/kani:toolchain-2023-08-18Copy head branch name to clipboard