Rollup of 8 pull requests#142142

Merged

bors merged 17 commits into

rust-lang:masterfrom

jhpratt:rollup-frlezq2

Jun 7, 2025

Annotations

1 warning

The logs for this run have expired and are no longer available.