2018-10-06 16:18:06 +00:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![warn(clippy::all)]
|
2018-10-10 15:13:53 +00:00
|
|
|
#![warn(clippy::redundant_pattern_matching)]
|
2016-10-29 16:56:12 +00:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
if let Ok(_) = Ok::<i32, i32>(42) {}
|
2017-02-08 13:58:07 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if let Err(_) = Err::<i32, i32>(42) {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if let None = None::<()> {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if let Some(_) = Some(42) {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if Ok::<i32, i32>(42).is_ok() {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if Err::<i32, i32>(42).is_err() {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if None::<i32>.is_none() {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if Some(42).is_some() {}
|
2016-10-29 16:56:12 +00:00
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
if let Ok(x) = Ok::<i32, i32>(42) {
|
2016-10-29 16:56:12 +00:00
|
|
|
println!("{}", x);
|
|
|
|
}
|
2018-10-07 13:36:42 +00:00
|
|
|
|
|
|
|
match Ok::<i32, i32>(42) {
|
|
|
|
Ok(_) => true,
|
|
|
|
Err(_) => false,
|
|
|
|
};
|
|
|
|
|
|
|
|
match Ok::<i32, i32>(42) {
|
|
|
|
Ok(_) => false,
|
|
|
|
Err(_) => true,
|
|
|
|
};
|
|
|
|
|
|
|
|
match Err::<i32, i32>(42) {
|
|
|
|
Ok(_) => false,
|
|
|
|
Err(_) => true,
|
|
|
|
};
|
|
|
|
|
|
|
|
match Err::<i32, i32>(42) {
|
|
|
|
Ok(_) => true,
|
|
|
|
Err(_) => false,
|
|
|
|
};
|
|
|
|
|
|
|
|
match Some(42) {
|
|
|
|
Some(_) => true,
|
|
|
|
None => false,
|
|
|
|
};
|
|
|
|
|
|
|
|
match None::<()> {
|
|
|
|
Some(_) => false,
|
|
|
|
None => true,
|
|
|
|
};
|
2016-10-29 16:56:12 +00:00
|
|
|
}
|