Skip to content

Change a flat_map with 0/1-element vecs to a filter_map#55476

Merged
bors merged 1 commit into
rust-lang:masterfrom
ljedrz:flat_map_to_filter_map
Oct 30, 2018
Merged

Change a flat_map with 0/1-element vecs to a filter_map#55476
bors merged 1 commit into
rust-lang:masterfrom
ljedrz:flat_map_to_filter_map

Commits

Commits on Oct 29, 2018