blob: a9d8056dee978cb6511ea72c1cd967ed660e44de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
error: used `flat_map` where `filter_map` could be used instead
--> $DIR/flat_map_option.rs:8:24
|
LL | let _ = [1].iter().flat_map(c);
| ^^^^^^^^ help: try: `filter_map`
|
= note: `-D clippy::flat-map-option` implied by `-D warnings`
error: used `flat_map` where `filter_map` could be used instead
--> $DIR/flat_map_option.rs:9:24
|
LL | let _ = [1].iter().flat_map(Some);
| ^^^^^^^^ help: try: `filter_map`
error: aborting due to 2 previous errors
|
