2023-04-23 11:03:09 +00:00
|
|
|
//@run-rustfix
|
2018-07-28 15:34:52 +00:00
|
|
|
#![warn(clippy::option_map_unit_fn)]
|
2018-04-09 06:20:46 +00:00
|
|
|
#![allow(unused)]
|
2022-10-06 07:44:38 +00:00
|
|
|
#![allow(clippy::uninlined_format_args, clippy::unnecessary_wraps)]
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
fn do_nothing<T>(_: T) {}
|
|
|
|
|
|
|
|
fn diverge<T>(_: T) -> ! {
|
|
|
|
panic!()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn plus_one(value: usize) -> usize {
|
|
|
|
value + 1
|
|
|
|
}
|
|
|
|
|
2020-03-08 22:43:40 +00:00
|
|
|
fn option() -> Option<usize> {
|
|
|
|
Some(10)
|
|
|
|
}
|
|
|
|
|
2018-04-09 06:20:46 +00:00
|
|
|
struct HasOption {
|
|
|
|
field: Option<usize>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl HasOption {
|
2020-08-11 13:43:21 +00:00
|
|
|
fn do_option_nothing(&self, value: usize) {}
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2020-08-11 13:43:21 +00:00
|
|
|
fn do_option_plus_one(&self, value: usize) -> usize {
|
2018-04-09 06:20:46 +00:00
|
|
|
value + 1
|
|
|
|
}
|
|
|
|
}
|
2018-12-11 00:31:04 +00:00
|
|
|
#[rustfmt::skip]
|
2018-04-15 10:30:38 +00:00
|
|
|
fn option_map_unit_fn() {
|
2018-04-09 06:20:46 +00:00
|
|
|
let x = HasOption { field: Some(10) };
|
|
|
|
|
|
|
|
x.field.map(plus_one);
|
2018-12-11 00:31:04 +00:00
|
|
|
let _ : Option<()> = x.field.map(do_nothing);
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
x.field.map(do_nothing);
|
|
|
|
|
|
|
|
x.field.map(do_nothing);
|
|
|
|
|
|
|
|
x.field.map(diverge);
|
|
|
|
|
|
|
|
let captured = 10;
|
2018-12-11 00:31:04 +00:00
|
|
|
if let Some(value) = x.field { do_nothing(value + captured) };
|
|
|
|
let _ : Option<()> = x.field.map(|value| do_nothing(value + captured));
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
x.field.map(|value| x.do_option_nothing(value + captured));
|
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { x.do_option_plus_one(value + captured); });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
x.field.map(|value| do_nothing(value + captured));
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { do_nothing(value + captured) });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { do_nothing(value + captured); });
|
|
|
|
|
|
|
|
x.field.map(|value| { { do_nothing(value + captured); } });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
x.field.map(|value| diverge(value + captured));
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { diverge(value + captured) });
|
|
|
|
|
|
|
|
x.field.map(|value| { diverge(value + captured); });
|
|
|
|
|
|
|
|
x.field.map(|value| { { diverge(value + captured); } });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
|
|
|
|
x.field.map(|value| plus_one(value + captured));
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { plus_one(value + captured) });
|
|
|
|
x.field.map(|value| { let y = plus_one(value + captured); });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { plus_one(value + captured); });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
2018-12-11 00:31:04 +00:00
|
|
|
x.field.map(|value| { { plus_one(value + captured); } });
|
2018-04-09 06:20:46 +00:00
|
|
|
|
|
|
|
|
2020-03-08 22:43:40 +00:00
|
|
|
x.field.map(|ref value| { do_nothing(value + captured) });
|
|
|
|
|
2022-04-07 17:39:59 +00:00
|
|
|
option().map(do_nothing);
|
|
|
|
|
|
|
|
option().map(|value| println!("{:?}", value));
|
|
|
|
}
|
2018-04-15 10:30:38 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
fn main() {}
|