Updating Rust toolchain from nightly-2024-08-30 to nightly-2024-08-31 requires source changes. The failed automated run [can be found here.](https://github.com/model-checking/kani/actions/runs/10641780114) Please review the changes at https://github.com/rust-lang/rust from https://github.com/rust-lang/rust/commit/0d634185dfddefe09047881175f35c65d68dcff1 up to https://github.com/rust-lang/rust/commit/<?xml version="1.0" encoding="UTF-8"?>. The log for this commit range is:
Updating Rust toolchain from nightly-2024-08-30 to nightly-2024-08-31 requires source changes.
The failed automated run can be found here.
Please review the changes at https://github.com/rust-lang/rust from rust-lang/rust@0d63418 up to https://github.com/rust-lang/rust/commit/. The log for this commit range is: