Toolchain upgrade to nightly-2025-05-15 failed

[github-actions]

Updating Rust toolchain from nightly-2025-05-14 to nightly-2025-05-15 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@414482f up to https://github.com/rust-lang/rust/commit/. The log for this commit range is:

[tautschnig]

Looks like there wasn't a release today, so we should do a manual bump to 2025-05-16 tomorrow.