Use Option::filter instead of open-coding it#80637

Merged

bors merged 1 commit intorust-lang:masterfrom LingMan:filter

Jan 5, 2021

+9-19

Commits on Jan 3, 2021

Use Option::filter instead of open-coding it
LingMan
committed