Skip to content

new unnecessary_map_on_constructor lint#11413

Merged
bors merged 1 commit intorust-lang:masterfrom
jonboh:master
Sep 12, 2023
Merged

new unnecessary_map_on_constructor lint#11413
bors merged 1 commit intorust-lang:masterfrom
jonboh:master

Commits

Commits on Sep 12, 2023