Rollup of 17 pull requests#158395

Closed

JonathanBrouwer wants to merge 47 commits into

rust-lang:mainfrom

JonathanBrouwer:rollup-d7BTVnf

rust-bors / Bors try build succeeded Jun 25, 2026 in 3h 27m 57s

Bors try build

View more details on rust-bors