docs: better demonstrate that None values are skipped as many times a…#74428

Merged

bors merged 1 commit intorust-lang:masterfrom

tshepang:better-filter-map-doc

Jul 18, 2020

Commits on Jul 17, 2020

docs: better demonstrate that None values are skipped as many times as needed
tshepang
committed