Automated daily update to rustc (to nightly-2025-07-19)#235

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