Updating Rust toolchain from nightly-2025-05-14 to nightly-2025-05-15 requires source changes. The failed automated run [can be found here.](https://github.com/model-checking/kani/actions/runs/15036682554) Please review the changes at https://github.com/rust-lang/rust from https://github.com/rust-lang/rust/commit/414482f6a0d4e7290f614300581a0b55442552a3 up to https://github.com/rust-lang/rust/commit/<?xml version="1.0" encoding="UTF-8"?>. The log for this commit range is: