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: