2019-01-02 21:48:44 +00:00
|
|
|
|
// aux-build:option_helpers.rs
|
2019-08-09 17:19:49 +00:00
|
|
|
|
// compile-flags: --edition 2018
|
2019-01-02 21:48:44 +00:00
|
|
|
|
|
2019-10-16 17:43:26 +00:00
|
|
|
|
#![warn(clippy::all, clippy::pedantic)]
|
2018-12-08 17:56:59 +00:00
|
|
|
|
#![allow(
|
|
|
|
|
clippy::blacklisted_name,
|
2019-09-18 06:37:41 +00:00
|
|
|
|
clippy::default_trait_access,
|
|
|
|
|
clippy::missing_docs_in_private_items,
|
2018-12-08 17:56:59 +00:00
|
|
|
|
clippy::non_ascii_literal,
|
|
|
|
|
clippy::new_without_default,
|
|
|
|
|
clippy::needless_pass_by_value,
|
2019-09-18 06:37:41 +00:00
|
|
|
|
clippy::print_stdout,
|
|
|
|
|
clippy::must_use_candidate,
|
2018-12-08 17:56:59 +00:00
|
|
|
|
clippy::use_self,
|
2019-08-01 04:54:57 +00:00
|
|
|
|
clippy::useless_format,
|
2019-09-18 06:37:41 +00:00
|
|
|
|
clippy::wrong_self_convention,
|
2019-10-04 17:18:52 +00:00
|
|
|
|
clippy::unused_self,
|
2019-09-18 06:37:41 +00:00
|
|
|
|
unused
|
2018-12-08 17:56:59 +00:00
|
|
|
|
)]
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-01-02 21:48:44 +00:00
|
|
|
|
#[macro_use]
|
|
|
|
|
extern crate option_helpers;
|
|
|
|
|
|
2017-02-07 20:05:30 +00:00
|
|
|
|
use std::collections::BTreeMap;
|
|
|
|
|
use std::collections::HashMap;
|
|
|
|
|
use std::collections::HashSet;
|
|
|
|
|
use std::collections::VecDeque;
|
|
|
|
|
use std::iter::FromIterator;
|
2019-02-22 06:05:21 +00:00
|
|
|
|
use std::ops::Mul;
|
2017-09-10 01:51:54 +00:00
|
|
|
|
use std::rc::{self, Rc};
|
|
|
|
|
use std::sync::{self, Arc};
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-01-02 21:48:44 +00:00
|
|
|
|
use option_helpers::IteratorFalsePositives;
|
2019-01-02 06:23:00 +00:00
|
|
|
|
|
2017-11-03 04:54:35 +00:00
|
|
|
|
pub struct T;
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
|
|
|
|
impl T {
|
2019-02-22 06:05:21 +00:00
|
|
|
|
pub fn add(self, other: T) -> T {
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// no error, not public interface
|
|
|
|
|
pub(crate) fn drop(&mut self) {}
|
2017-10-21 11:53:57 +00:00
|
|
|
|
|
2019-02-22 06:05:21 +00:00
|
|
|
|
// no error, private function
|
|
|
|
|
fn neg(self) -> Self {
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// no error, private function
|
|
|
|
|
fn eq(&self, other: T) -> bool {
|
|
|
|
|
true
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// No error; self is a ref.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn sub(&self, other: T) -> &T {
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// No error; different number of arguments.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn div(self) -> T {
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// No error; wrong return type.
|
|
|
|
|
fn rem(self, other: T) {}
|
2019-02-22 06:05:21 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Fine
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn into_u32(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn into_u16(&self) -> u16 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn to_something(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn new(self) -> Self {
|
|
|
|
|
unimplemented!();
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Lt<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt<'a> {
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2018-07-28 15:34:52 +00:00
|
|
|
|
#[allow(clippy::needless_lifetimes)]
|
2019-02-22 06:05:21 +00:00
|
|
|
|
pub fn new<'b>(s: &'b str) -> Lt<'b> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Lt2<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt2<'a> {
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
pub fn new(s: &str) -> Lt2 {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Lt3<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt3<'a> {
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
pub fn new() -> Lt3<'static> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
2019-02-22 06:05:21 +00:00
|
|
|
|
#[derive(Clone, Copy)]
|
2017-02-07 20:05:30 +00:00
|
|
|
|
struct U;
|
|
|
|
|
|
|
|
|
|
impl U {
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn new() -> Self {
|
|
|
|
|
U
|
|
|
|
|
}
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Ok because `U` is `Copy`.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn to_something(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct V<T> {
|
2019-02-22 06:05:21 +00:00
|
|
|
|
_dummy: T,
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<T> V<T> {
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn new() -> Option<V<T>> {
|
|
|
|
|
None
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
2019-08-09 15:44:05 +00:00
|
|
|
|
struct AsyncNew;
|
|
|
|
|
|
|
|
|
|
impl AsyncNew {
|
2019-08-09 17:19:49 +00:00
|
|
|
|
async fn new() -> Option<Self> {
|
|
|
|
|
None
|
2019-08-09 15:44:05 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-09 21:15:49 +00:00
|
|
|
|
struct BadNew;
|
|
|
|
|
|
|
|
|
|
impl BadNew {
|
|
|
|
|
fn new() -> i32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-02-07 20:05:30 +00:00
|
|
|
|
impl Mul<T> for T {
|
|
|
|
|
type Output = T;
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// No error, obviously.
|
2019-02-22 06:05:21 +00:00
|
|
|
|
fn mul(self, other: T) -> T {
|
|
|
|
|
self
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Checks implementation of the following lints:
|
|
|
|
|
/// * `OPTION_MAP_UNWRAP_OR`
|
|
|
|
|
/// * `OPTION_MAP_UNWRAP_OR_ELSE`
|
2019-02-22 05:49:17 +00:00
|
|
|
|
#[rustfmt::skip]
|
2017-02-07 20:05:30 +00:00
|
|
|
|
fn option_methods() {
|
|
|
|
|
let opt = Some(1);
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `OPTION_MAP_UNWRAP_OR`.
|
|
|
|
|
// Single line case.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| x + 1)
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Should lint even though this call is on a separate line.
|
|
|
|
|
.unwrap_or(0);
|
|
|
|
|
// Multi-line cases.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
x + 1
|
|
|
|
|
}
|
|
|
|
|
).unwrap_or(0);
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| x + 1)
|
2017-02-07 20:05:30 +00:00
|
|
|
|
.unwrap_or({
|
|
|
|
|
0
|
|
|
|
|
});
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Single line `map(f).unwrap_or(None)` case.
|
2017-10-06 13:04:16 +00:00
|
|
|
|
let _ = opt.map(|x| Some(x + 1)).unwrap_or(None);
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Multi-line `map(f).unwrap_or(None)` cases.
|
2017-10-07 12:14:30 +00:00
|
|
|
|
let _ = opt.map(|x| {
|
|
|
|
|
Some(x + 1)
|
|
|
|
|
}
|
|
|
|
|
).unwrap_or(None);
|
|
|
|
|
let _ = opt
|
|
|
|
|
.map(|x| Some(x + 1))
|
|
|
|
|
.unwrap_or(None);
|
2017-02-07 20:05:30 +00:00
|
|
|
|
// macro case
|
|
|
|
|
let _ = opt_map!(opt, |x| x + 1).unwrap_or(0); // should not lint
|
|
|
|
|
|
2019-01-21 17:29:35 +00:00
|
|
|
|
// Should not lint if not copyable
|
2019-01-16 15:55:53 +00:00
|
|
|
|
let id: String = "identifier".to_string();
|
2019-01-21 17:29:35 +00:00
|
|
|
|
let _ = Some("prefix").map(|p| format!("{}.{}", p, id)).unwrap_or(id);
|
|
|
|
|
// ...but DO lint if the `unwrap_or` argument is not used in the `map`
|
|
|
|
|
let id: String = "identifier".to_string();
|
|
|
|
|
let _ = Some("prefix").map(|p| format!("{}.", p)).unwrap_or(id);
|
2019-01-16 15:55:53 +00:00
|
|
|
|
|
2017-02-07 20:05:30 +00:00
|
|
|
|
// Check OPTION_MAP_UNWRAP_OR_ELSE
|
|
|
|
|
// single line case
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| x + 1)
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Should lint even though this call is on a separate line.
|
|
|
|
|
.unwrap_or_else(|| 0);
|
|
|
|
|
// Multi-line cases.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
x + 1
|
|
|
|
|
}
|
|
|
|
|
).unwrap_or_else(|| 0);
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = opt.map(|x| x + 1)
|
2017-02-07 20:05:30 +00:00
|
|
|
|
.unwrap_or_else(||
|
|
|
|
|
0
|
|
|
|
|
);
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Macro case.
|
|
|
|
|
// Should not lint.
|
|
|
|
|
let _ = opt_map!(opt, |x| x + 1).unwrap_or_else(|| 0);
|
2019-06-02 06:47:06 +00:00
|
|
|
|
|
|
|
|
|
// Issue #4144
|
|
|
|
|
{
|
|
|
|
|
let mut frequencies = HashMap::new();
|
|
|
|
|
let word = "foo";
|
|
|
|
|
|
|
|
|
|
frequencies
|
|
|
|
|
.get_mut(word)
|
|
|
|
|
.map(|count| {
|
|
|
|
|
*count += 1;
|
|
|
|
|
})
|
|
|
|
|
.unwrap_or_else(|| {
|
|
|
|
|
frequencies.insert(word.to_owned(), 1);
|
|
|
|
|
});
|
|
|
|
|
}
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
/// Checks implementation of `FILTER_NEXT` lint.
|
2019-02-22 05:49:17 +00:00
|
|
|
|
#[rustfmt::skip]
|
2017-02-07 20:05:30 +00:00
|
|
|
|
fn filter_next() {
|
|
|
|
|
let v = vec![3, 2, 1, 0, -1, -2, -3];
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Single-line case.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let _ = v.iter().filter(|&x| *x < 0).next();
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Multi-line case.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = v.iter().filter(|&x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
*x < 0
|
|
|
|
|
}
|
|
|
|
|
).next();
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check that hat we don't lint if the caller is not an `Iterator`.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let foo = IteratorFalsePositives { foo: 0 };
|
|
|
|
|
let _ = foo.filter().next();
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
/// Checks implementation of `SEARCH_IS_SOME` lint.
|
2019-02-22 05:49:17 +00:00
|
|
|
|
#[rustfmt::skip]
|
2017-02-07 20:05:30 +00:00
|
|
|
|
fn search_is_some() {
|
|
|
|
|
let v = vec![3, 2, 1, 0, -1, -2, -3];
|
2019-08-26 10:50:15 +00:00
|
|
|
|
let y = &&42;
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `find().is_some()`, single-line case.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let _ = v.iter().find(|&x| *x < 0).is_some();
|
2019-08-26 10:50:15 +00:00
|
|
|
|
let _ = (0..1).find(|x| **y == *x).is_some(); // one dereference less
|
|
|
|
|
let _ = (0..1).find(|x| *x == 0).is_some();
|
2019-08-29 08:06:56 +00:00
|
|
|
|
let _ = v.iter().find(|x| **x == 0).is_some();
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `find().is_some()`, multi-line case.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = v.iter().find(|&x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
*x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `position().is_some()`, single-line case.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let _ = v.iter().position(|&x| x < 0).is_some();
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `position().is_some()`, multi-line case.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = v.iter().position(|&x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `rposition().is_some()`, single-line case.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let _ = v.iter().rposition(|&x| x < 0).is_some();
|
2017-02-08 13:58:07 +00:00
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check `rposition().is_some()`, multi-line case.
|
2017-02-08 13:58:07 +00:00
|
|
|
|
let _ = v.iter().rposition(|&x| {
|
2017-02-07 20:05:30 +00:00
|
|
|
|
x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 01:15:29 +00:00
|
|
|
|
// Check that we don't lint if the caller is not an `Iterator`.
|
2017-02-07 20:05:30 +00:00
|
|
|
|
let foo = IteratorFalsePositives { foo: 0 };
|
|
|
|
|
let _ = foo.find().is_some();
|
|
|
|
|
let _ = foo.position().is_some();
|
|
|
|
|
let _ = foo.rposition().is_some();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2019-10-16 17:43:26 +00:00
|
|
|
|
option_methods();
|
|
|
|
|
filter_next();
|
|
|
|
|
search_is_some();
|
2017-02-07 20:05:30 +00:00
|
|
|
|
}
|