Rollup of 20 pull requests#145764

Closed

jhpratt wants to merge 66 commits into

rust-lang:masterfrom

jhpratt:rollup-uzej5kg

rust-bors / Bors try build succeeded Aug 22, 2025 in 1h 41m 19s

Bors try build

View more details on rust-bors