Skip to content

Use copied instead of manual map#117549

Merged
bors merged 2 commits into
rust-lang:masterfrom
DaniPopes:more-copied
Nov 18, 2023
Merged

Use copied instead of manual map#117549
bors merged 2 commits into
rust-lang:masterfrom
DaniPopes:more-copied

compiler: use `copied` instead of manual `map`

2736430
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs