Skip to content

Rollup of 9 pull requests#142438

Merged
bors merged 20 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-u1jdnhz
Jun 13, 2025
Merged

Rollup of 9 pull requests#142438
bors merged 20 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-u1jdnhz

Rollup merge of #142418 - oli-obk:lower_arg_ty, r=BoxyUwU,fmease

7309c10
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs