| //@require-annotations-for-level: ERROR | |
| #![warn(clippy::map_identity)] | |
| #![allow(clippy::needless_return, clippy::disallowed_names)] | |
| fn main() { | |
| let x: [u16; 3] = [1, 2, 3]; | |
| // should lint | |
| let _: Vec<_> = x.iter().map(not_identity).collect(); | |
| //~^ map_identity | |
| let _: Vec<_> = x.iter().collect(); | |
| //~^ map_identity | |
| //~| map_identity | |
| let _: Option<u8> = Some(3); | |
| //~^ map_identity | |
| let _: Result<i8, f32> = Ok(-3); | |
| // should not lint | |
| let _: Vec<_> = x.iter().map(|x| 2 * x).collect(); | |
| let _: Vec<_> = x.iter().map(not_identity).map(|x| return x - 4).collect(); | |
| let _: Option<u8> = None.map(|x: u8| x - 1); | |
| let _: Result<i8, f32> = Err(2.3).map(|x: i8| { | |
| return x + 3; | |
| }); | |
| let _: Result<u32, u32> = Ok(1); | |
| //~^ map_identity | |
| let _: Result<u32, u32> = Ok(1).map_err(|a: u32| a * 42); | |
| // : u32 guides type inference | |
| let _ = Ok(1).map_err(|a: u32| a); | |
| let _ = Ok(1).map_err(std::convert::identity::<u32>); | |
| } | |
| fn issue7189() { | |
| // should lint | |
| let x = [(1, 2), (3, 4)].iter().copied(); | |
| let _ = x.clone(); | |
| //~^ map_identity | |
| let _ = x.clone(); | |
| let _ = x.clone(); | |
| //~^ map_identity | |
| let y = [(1, 2, (3, (4,))), (5, 6, (7, (8,)))].iter().copied(); | |
| let _ = y.clone(); | |
| //~^ map_identity | |
| // should not lint | |
| let _ = x.clone().map(|(x, y)| (x, y, y)); | |
| let _ = x.clone().map(|(x, _y)| (x,)); | |
| let _ = x.clone().map(|(x, _)| (x,)); | |
| let _ = x.clone().map(|(x, ..)| (x,)); | |
| let _ = y.clone().map(|(x, y, (z, _))| (x, y, (z, z))); | |
| let _ = y | |
| .clone() | |
| .map(|(x, y, (z, _)): (i32, i32, (i32, (i32,)))| (x, y, (z, z))); | |
| let _ = y | |
| .clone() | |
| .map(|(x, y, (z, (w,))): (i32, i32, (i32, (i32,)))| (x, y, (z, (w,)))); | |
| } | |
| fn not_identity(x: &u16) -> u16 { | |
| *x | |
| } | |
| fn issue11764() { | |
| let x = [(1, 2), (3, 4)]; | |
| // don't lint: this is an `Iterator<Item = &(i32, i32)>` | |
| // match ergonomics makes the binding patterns into references | |
| // so that its type changes to `Iterator<Item = (&i32, &i32)>` | |
| let _ = x.iter().map(|(x, y)| (x, y)); | |
| let _ = x.iter().map(|x| (x.0,)).map(|(x,)| x); | |
| // no match ergonomics for `(i32, i32)` | |
| let _ = x.iter().copied(); | |
| //~^ map_identity | |
| } | |
| fn issue13904() { | |
| // lint, but there's a catch: | |
| // when we remove the `.map()`, `it.next()` would require `it` to be mutable | |
| // therefore, include that in the suggestion as well | |
| let mut it = [1, 2, 3].into_iter(); | |
| let _ = it.next(); | |
| //~^ map_identity | |
| //~| HELP: remove the call to `map`, and make `it` mutable | |
| // lint | |
| let mut index = [1, 2, 3].into_iter(); | |
| let mut subindex = (index.by_ref().take(3), 42); | |
| let _ = subindex.0.next(); | |
| //~^ map_identity | |
| //~| HELP: remove the call to `map`, and make `subindex` mutable | |
| // lint | |
| #[allow(unused_mut)] | |
| let mut it = [1, 2, 3].into_iter(); | |
| let _ = it.next(); | |
| //~^ map_identity | |
| //~| HELP: remove the call to `map` | |
| // lint | |
| let it = [1, 2, 3].into_iter(); | |
| let _ = { it }.next(); | |
| //~^ map_identity | |
| //~| HELP: remove the call to `map` | |
| } | |
| // same as `issue11764`, but for arrays | |
| fn issue15198() { | |
| let x = [[1, 2], [3, 4]]; | |
| // don't lint: `&[i32; 2]` becomes `[&i32; 2]` | |
| let _ = x.iter().map(|[x, y]| [x, y]); | |
| let _ = x.iter().map(|x| [x[0]]).map(|[x]| x); | |
| // no match ergonomics for `[i32, i32]` | |
| let _ = x.iter().copied(); | |
| //~^ map_identity | |
| } | |
| mod foo { | |
| #[derive(Clone, Copy)] | |
| pub struct Foo { | |
| pub foo: u8, | |
| pub bar: u8, | |
| } | |
| #[derive(Clone, Copy)] | |
| pub struct Foo2(pub u8, pub u8); | |
| } | |
| use foo::{Foo, Foo2}; | |
| struct Bar { | |
| foo: u8, | |
| bar: u8, | |
| } | |
| struct Bar2(u8, u8); | |
| fn structs() { | |
| let x = [Foo { foo: 0, bar: 0 }]; | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // still lint when different paths are used for the same struct | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // don't lint: same fields but different structs | |
| let _ = x.into_iter().map(|Foo { foo, bar }| Bar { foo, bar }); | |
| // still lint with redundant field names | |
| #[allow(clippy::redundant_field_names)] | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // still lint with field order change | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // don't lint: switched field assignment | |
| let _ = x.into_iter().map(|Foo { foo, bar }| Foo { foo: bar, bar: foo }); | |
| } | |
| fn tuple_structs() { | |
| let x = [Foo2(0, 0)]; | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // still lint when different paths are used for the same struct | |
| let _ = x.into_iter(); | |
| //~^ map_identity | |
| // don't lint: same fields but different structs | |
| let _ = x.into_iter().map(|Foo2(foo, bar)| Bar2(foo, bar)); | |
| // don't lint: switched field assignment | |
| let _ = x.into_iter().map(|Foo2(foo, bar)| Foo2(bar, foo)); | |
| } |