Skip to content

new lint: drain_collect#10835

Merged
bors merged 5 commits intorust-lang:masterfrom
y21:drain-collect
Jun 16, 2023
Merged

new lint: `drain_collect`#10835
bors merged 5 commits intorust-lang:masterfrom
y21:drain-collect

Commits

Commits on Jun 15, 2023