doc: provide an actual equivalent to filter_map#43416
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 23, 2017
tshepang:extra-layer
Merged
doc: provide an actual equivalent to filter_map#43416bors merged 1 commit intorust-lang:masterfrom tshepang:extra-layer
bors merged 1 commit intorust-lang:masterfrom
tshepang:extra-layer
