Skip to content

Lint: filter(Option::is_some).map(Option::unwrap)#6342

Merged
bors merged 1 commit intorust-lang:masterfrom bbqbaron:issue-6061Mar 31, 2021
+280-70

Commits

Commits on Mar 31, 2021