Automated daily update to rustc (to nightly-2025-07-15)#234

apoelstra merged 1 commit intomasterElementsProject/rust-elements:masterfrom

create-pull-request/daily-nightly-updateElementsProject/rust-elements:create-pull-request/daily-nightly-updateCopy head branch name to clipboard