Rollup of 13 pull requests#159696

Closed

jhpratt wants to merge 53 commits into

rust-lang:mainfrom

jhpratt:rollup-cuL0oZw

rust-bors / Bors try build cancelled Jul 22, 2026 in 38m 57s

Bors try build

View more details on rust-bors