2020-03-04 08:21:07 +00:00
|
|
|
// run-rustfix
|
|
|
|
#![allow(unreachable_code)]
|
|
|
|
|
2018-01-28 00:04:22 +00:00
|
|
|
fn some_func(a: Option<u32>) -> Option<u32> {
|
2018-12-09 22:26:16 +00:00
|
|
|
if a.is_none() {
|
|
|
|
return None;
|
|
|
|
}
|
2018-01-28 00:04:22 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
a
|
2018-01-28 00:04:22 +00:00
|
|
|
}
|
|
|
|
|
2018-12-19 19:46:12 +00:00
|
|
|
fn some_other_func(a: Option<u32>) -> Option<u32> {
|
|
|
|
if a.is_none() {
|
|
|
|
return None;
|
|
|
|
} else {
|
2018-12-28 19:52:46 +00:00
|
|
|
return Some(0);
|
2018-12-19 19:46:12 +00:00
|
|
|
}
|
|
|
|
unreachable!()
|
|
|
|
}
|
|
|
|
|
2018-01-28 00:04:22 +00:00
|
|
|
pub enum SeemsOption<T> {
|
|
|
|
Some(T),
|
2018-12-09 22:26:16 +00:00
|
|
|
None,
|
2018-01-28 00:04:22 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> SeemsOption<T> {
|
|
|
|
pub fn is_none(&self) -> bool {
|
|
|
|
match *self {
|
|
|
|
SeemsOption::None => true,
|
|
|
|
SeemsOption::Some(_) => false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn returns_something_similar_to_option(a: SeemsOption<u32>) -> SeemsOption<u32> {
|
|
|
|
if a.is_none() {
|
|
|
|
return SeemsOption::None;
|
|
|
|
}
|
|
|
|
|
|
|
|
a
|
|
|
|
}
|
|
|
|
|
2018-12-18 12:55:04 +00:00
|
|
|
pub struct CopyStruct {
|
2018-12-09 22:26:16 +00:00
|
|
|
pub opt: Option<u32>,
|
2018-01-28 00:04:22 +00:00
|
|
|
}
|
|
|
|
|
2018-12-18 12:55:04 +00:00
|
|
|
impl CopyStruct {
|
2018-12-12 08:46:52 +00:00
|
|
|
#[rustfmt::skip]
|
2018-12-09 22:26:16 +00:00
|
|
|
pub fn func(&self) -> Option<u32> {
|
|
|
|
if (self.opt).is_none() {
|
|
|
|
return None;
|
|
|
|
}
|
2018-01-28 00:04:22 +00:00
|
|
|
|
2018-12-12 08:46:52 +00:00
|
|
|
if self.opt.is_none() {
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
|
|
|
|
let _ = if self.opt.is_none() {
|
|
|
|
return None;
|
|
|
|
} else {
|
|
|
|
self.opt
|
|
|
|
};
|
|
|
|
|
2020-03-04 07:59:16 +00:00
|
|
|
let _ = if let Some(x) = self.opt {
|
|
|
|
x
|
|
|
|
} else {
|
|
|
|
return None;
|
|
|
|
};
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
self.opt
|
|
|
|
}
|
2018-01-28 00:04:22 +00:00
|
|
|
}
|
|
|
|
|
2018-12-18 12:55:04 +00:00
|
|
|
#[derive(Clone)]
|
|
|
|
pub struct MoveStruct {
|
|
|
|
pub opt: Option<Vec<u32>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl MoveStruct {
|
|
|
|
pub fn ref_func(&self) -> Option<Vec<u32>> {
|
|
|
|
if self.opt.is_none() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
self.opt.clone()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn mov_func_reuse(self) -> Option<Vec<u32>> {
|
|
|
|
if self.opt.is_none() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
self.opt
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn mov_func_no_use(self) -> Option<Vec<u32>> {
|
|
|
|
if self.opt.is_none() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
Some(Vec::new())
|
|
|
|
}
|
2020-03-04 07:59:16 +00:00
|
|
|
|
|
|
|
pub fn if_let_ref_func(self) -> Option<Vec<u32>> {
|
2020-03-04 08:21:07 +00:00
|
|
|
let v: &Vec<_> = if let Some(ref v) = self.opt {
|
2020-03-04 07:59:16 +00:00
|
|
|
v
|
|
|
|
} else {
|
|
|
|
return None;
|
|
|
|
};
|
|
|
|
|
|
|
|
Some(v.clone())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn if_let_mov_func(self) -> Option<Vec<u32>> {
|
2020-03-04 08:21:07 +00:00
|
|
|
let v = if let Some(v) = self.opt {
|
2020-03-04 07:59:16 +00:00
|
|
|
v
|
|
|
|
} else {
|
|
|
|
return None;
|
|
|
|
};
|
|
|
|
|
|
|
|
Some(v)
|
|
|
|
}
|
2018-12-18 12:55:04 +00:00
|
|
|
}
|
|
|
|
|
2018-01-28 00:04:22 +00:00
|
|
|
fn main() {
|
2018-12-09 22:26:16 +00:00
|
|
|
some_func(Some(42));
|
|
|
|
some_func(None);
|
2020-03-04 08:21:07 +00:00
|
|
|
some_other_func(Some(42));
|
2018-01-28 00:04:22 +00:00
|
|
|
|
2018-12-18 12:55:04 +00:00
|
|
|
let copy_struct = CopyStruct { opt: Some(54) };
|
|
|
|
copy_struct.func();
|
|
|
|
|
|
|
|
let move_struct = MoveStruct {
|
|
|
|
opt: Some(vec![42, 1337]),
|
|
|
|
};
|
|
|
|
move_struct.ref_func();
|
|
|
|
move_struct.clone().mov_func_reuse();
|
2019-09-16 15:50:36 +00:00
|
|
|
move_struct.mov_func_no_use();
|
2018-01-28 00:04:22 +00:00
|
|
|
|
|
|
|
let so = SeemsOption::Some(45);
|
|
|
|
returns_something_similar_to_option(so);
|
|
|
|
}
|