Improve docs for collecting into `Option`s#56342

Merged

bors merged 1 commit intorust-lang:masterfrom

killercup:collect-into-option-docs

Dec 24, 2018

Commits on Dec 23, 2018

Improve docs for collecting into `Option`s
killercup
committed