2021-04-22 09:31:13 +00:00
|
|
|
error: used `flat_map` where `filter_map` could be used instead
|
2023-08-24 19:32:12 +00:00
|
|
|
--> $DIR/flat_map_option.rs:7:24
|
2021-04-22 09:31:13 +00:00
|
|
|
|
|
|
|
|
LL | let _ = [1].iter().flat_map(c);
|
|
|
|
| ^^^^^^^^ help: try: `filter_map`
|
|
|
|
|
|
|
|
|
= note: `-D clippy::flat-map-option` implied by `-D warnings`
|
2023-08-01 12:02:21 +00:00
|
|
|
= help: to override `-D warnings` add `#[allow(clippy::flat_map_option)]`
|
2021-04-22 09:31:13 +00:00
|
|
|
|
|
|
|
error: used `flat_map` where `filter_map` could be used instead
|
2023-08-24 19:32:12 +00:00
|
|
|
--> $DIR/flat_map_option.rs:8:24
|
2021-04-22 09:31:13 +00:00
|
|
|
|
|
|
|
|
LL | let _ = [1].iter().flat_map(Some);
|
|
|
|
| ^^^^^^^^ help: try: `filter_map`
|
|
|
|
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
|