Skip to content

Add lints for find_map#4039

Merged
bors merged 2 commits intorust-lang:masterfrom
andrehjr:add-find-map-lints
Apr 30, 2019
Merged

Add lints for find_map#4039
bors merged 2 commits intorust-lang:masterfrom
andrehjr:add-find-map-lints

Commits

Commits on Apr 30, 2019