bors 9dd87051c7 Auto merge of #7175 - camsteffen:filter-map-none, r=Manishearth
Fix unnecessary_filter_map false positive

changelog: Fix an [`unnecessary_filter_map`] false positive

Fixes #6804
2021-05-05 22:57:05 +00:00
..
2021-05-04 12:38:30 -07:00
2021-04-10 16:59:59 -05:00
2021-04-15 08:19:59 -04:00
2021-04-15 08:19:59 -04:00
2021-04-15 08:19:59 -04:00
2021-04-16 15:23:49 -05:00
2021-04-16 15:23:49 -05:00
2021-04-02 22:27:13 -04:00
2021-04-15 22:09:20 -04:00
2021-04-15 22:09:20 -04:00
2021-04-18 23:49:54 +02:00
2021-04-18 23:49:54 +02:00
2021-04-18 23:49:54 +02:00