3 #![feature(never_type)]
4 #![warn(clippy::result_map_unit_fn)]
7 fn do_nothing<T>(_: T) {}
9 fn diverge<T>(_: T) -> ! {
13 fn plus_one(value: usize) -> usize {
18 field: Result<usize, usize>,
22 fn do_result_nothing(self: &Self, value: usize) {}
24 fn do_result_plus_one(self: &Self, value: usize) -> usize {
30 fn result_map_unit_fn() {
31 let x = HasResult { field: Ok(10) };
33 x.field.map(plus_one);
34 let _: Result<(), usize> = x.field.map(do_nothing);
36 if let Ok(x_field) = x.field { do_nothing(x_field) }
38 if let Ok(x_field) = x.field { do_nothing(x_field) }
40 if let Ok(x_field) = x.field { diverge(x_field) }
43 if let Ok(value) = x.field { do_nothing(value + captured) };
44 let _: Result<(), usize> = x.field.map(|value| do_nothing(value + captured));
46 if let Ok(value) = x.field { x.do_result_nothing(value + captured) }
48 if let Ok(value) = x.field { x.do_result_plus_one(value + captured); }
51 if let Ok(value) = x.field { do_nothing(value + captured) }
53 if let Ok(value) = x.field { do_nothing(value + captured) }
55 if let Ok(value) = x.field { do_nothing(value + captured); }
57 if let Ok(value) = x.field { do_nothing(value + captured); }
60 if let Ok(value) = x.field { diverge(value + captured) }
62 if let Ok(value) = x.field { diverge(value + captured) }
64 if let Ok(value) = x.field { diverge(value + captured); }
66 if let Ok(value) = x.field { diverge(value + captured); }
69 x.field.map(|value| plus_one(value + captured));
70 x.field.map(|value| { plus_one(value + captured) });
71 if let Ok(value) = x.field { let y = plus_one(value + captured); }
73 if let Ok(value) = x.field { plus_one(value + captured); }
75 if let Ok(value) = x.field { plus_one(value + captured); }
78 if let Ok(ref value) = x.field { do_nothing(value + captured) }