Replace push loops with extend() where possible#52738

Merged

bors merged 1 commit intorust-lang:masterfrom

ljedrz:push_to_extend

Jul 29, 2018

Commits on Jul 29, 2018

Replace push loops with collect() and extend() where possible
ljedrz
committed