Automated daily update to rustc (to nightly-2025-12-20)#257

apoelstra wants to merge 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