rustdoc: use collect()
instead of repeatedly pushing#100157
Merged
bors merged 2 commits intomasterfrom notriddle/use-map-instead-of-repeated-pushAug 5, 2022
collect()
instead of repeatedly pushing#100157