blob: 59dcfcda3b6e6255eb08b3adfb595f00e9775c5d [file] [log] [blame]
#![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).map(|x| return x).collect();
//~^ map_identity
let _: Vec<_> = x.iter().map(std::convert::identity).map(|y| y).collect();
//~^ map_identity
//~| map_identity
let _: Option<u8> = Some(3).map(|x| x);
//~^ map_identity
let _: Result<i8, f32> = Ok(-3).map(|x| {
//~^ map_identity
return x;
});
// 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_err(|a| a);
//~^ 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(|(x, y)| (x, y));
//~^ map_identity
let _ = x.clone().map(|(x, y)| {
//~^ map_identity
return (x, y);
});
let _ = x.clone().map(|(x, y)| return (x, y));
//~^ map_identity
let y = [(1, 2, (3, (4,))), (5, 6, (7, (8,)))].iter().copied();
let _ = y.clone().map(|(x, y, (z, (w,)))| (x, y, (z, (w,))));
//~^ 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(|(x, y)| (x, y));
//~^ map_identity
}
fn issue13904() {
// don't lint: `it.next()` would not be legal as `it` is immutable
let it = [1, 2, 3].into_iter();
let _ = it.map(|x| x).next();
// lint
#[allow(unused_mut)]
let mut it = [1, 2, 3].into_iter();
let _ = it.map(|x| x).next();
//~^ map_identity
// lint
let it = [1, 2, 3].into_iter();
let _ = { it }.map(|x| x).next();
//~^ map_identity
}
// 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(|[x, y]| [x, y]);
//~^ 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(|Foo { foo, bar }| Foo { foo, bar });
//~^ map_identity
// still lint when different paths are used for the same struct
let _ = x.into_iter().map(|Foo { foo, bar }| foo::Foo { foo, bar });
//~^ 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(|Foo { foo, bar }| Foo { foo: foo, bar: bar });
//~^ map_identity
// still lint with field order change
let _ = x.into_iter().map(|Foo { foo, bar }| Foo { bar, foo });
//~^ 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(|Foo2(foo, bar)| Foo2(foo, bar));
//~^ map_identity
// still lint when different paths are used for the same struct
let _ = x.into_iter().map(|Foo2(foo, bar)| foo::Foo2(foo, bar));
//~^ 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));
}