2019-01-02 22:48:44 +01:00
|
|
|
|
// aux-build:option_helpers.rs
|
2020-03-10 22:35:07 +01:00
|
|
|
|
// edition:2018
|
2019-01-02 22:48:44 +01:00
|
|
|
|
|
2019-10-16 19:43:26 +02:00
|
|
|
|
#![warn(clippy::all, clippy::pedantic)]
|
2018-12-08 18:56:59 +01:00
|
|
|
|
#![allow(
|
|
|
|
|
clippy::blacklisted_name,
|
2019-09-18 08:37:41 +02:00
|
|
|
|
clippy::default_trait_access,
|
|
|
|
|
clippy::missing_docs_in_private_items,
|
2020-04-08 12:57:58 +02:00
|
|
|
|
clippy::missing_safety_doc,
|
2018-12-08 18:56:59 +01:00
|
|
|
|
clippy::non_ascii_literal,
|
|
|
|
|
clippy::new_without_default,
|
|
|
|
|
clippy::needless_pass_by_value,
|
2020-06-17 01:16:34 +02:00
|
|
|
|
clippy::needless_lifetimes,
|
2019-09-18 08:37:41 +02:00
|
|
|
|
clippy::print_stdout,
|
|
|
|
|
clippy::must_use_candidate,
|
2018-12-08 18:56:59 +01:00
|
|
|
|
clippy::use_self,
|
2019-08-01 06:54:57 +02:00
|
|
|
|
clippy::useless_format,
|
2019-09-18 08:37:41 +02:00
|
|
|
|
clippy::wrong_self_convention,
|
2019-10-04 19:18:52 +02:00
|
|
|
|
clippy::unused_self,
|
2019-09-18 08:37:41 +02:00
|
|
|
|
unused
|
2018-12-08 18:56:59 +01:00
|
|
|
|
)]
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-01-02 22:48:44 +01:00
|
|
|
|
#[macro_use]
|
|
|
|
|
extern crate option_helpers;
|
|
|
|
|
|
2017-02-07 21:05:30 +01:00
|
|
|
|
use std::collections::BTreeMap;
|
|
|
|
|
use std::collections::HashMap;
|
|
|
|
|
use std::collections::HashSet;
|
|
|
|
|
use std::collections::VecDeque;
|
|
|
|
|
use std::iter::FromIterator;
|
2019-02-22 07:05:21 +01:00
|
|
|
|
use std::ops::Mul;
|
2017-09-10 03:51:54 +02:00
|
|
|
|
use std::rc::{self, Rc};
|
|
|
|
|
use std::sync::{self, Arc};
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-01-02 22:48:44 +01:00
|
|
|
|
use option_helpers::IteratorFalsePositives;
|
2019-01-02 07:23:00 +01:00
|
|
|
|
|
2017-11-03 05:54:35 +01:00
|
|
|
|
pub struct T;
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
|
|
|
|
impl T {
|
2020-06-19 22:12:51 +02:00
|
|
|
|
// *******************************************
|
|
|
|
|
// complete trait method list, should lint all
|
|
|
|
|
// *******************************************
|
2019-02-22 07:05:21 +01:00
|
|
|
|
pub fn add(self, other: T) -> T {
|
2020-06-19 22:12:51 +02:00
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn as_mut(&mut self) -> &mut T {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn as_ref(&self) -> &T {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn bitand(self, rhs: T) -> T {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn bitor(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn bitxor(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn borrow(&self) -> &str {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn borrow_mut(&mut self) -> &mut str {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn clone(&self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn cmp(&self, other: &Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn default() -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn deref(&self) -> &Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn deref_mut(&mut self) -> &mut Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn div(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn drop(&mut self) {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn eq(&self, other: &Self) -> bool {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn from_iter<T>(iter: T) -> Self {
|
|
|
|
|
unimplemented!()
|
2019-02-22 07:05:21 +01:00
|
|
|
|
}
|
|
|
|
|
|
2020-06-19 22:12:51 +02:00
|
|
|
|
pub fn from_str(s: &str) -> Result<Self, Self> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn hash(&self, state: &mut T) {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn index(&self, index: usize) -> &Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn index_mut(&mut self, index: usize) -> &mut Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn into_iter(self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn mul(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn neg(self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn next(&mut self) -> Option<Self> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn not(self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn rem(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn shl(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn shr(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn sub(self, rhs: Self) -> Self {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
|
|
|
|
// *****************
|
|
|
|
|
// complete list end
|
|
|
|
|
// *****************
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub struct T1;
|
|
|
|
|
impl T1 {
|
|
|
|
|
// corner cases: should not lint
|
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
// no error, not public interface
|
|
|
|
|
pub(crate) fn drop(&mut self) {}
|
2017-10-21 13:53:57 +02:00
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
// no error, private function
|
|
|
|
|
fn neg(self) -> Self {
|
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// no error, private function
|
2020-06-19 22:12:51 +02:00
|
|
|
|
fn eq(&self, other: Self) -> bool {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
true
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// No error; self is a ref.
|
2020-06-19 22:12:51 +02:00
|
|
|
|
fn sub(&self, other: Self) -> &Self {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// No error; different number of arguments.
|
2020-06-19 22:12:51 +02:00
|
|
|
|
fn div(self) -> Self {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// No error; wrong return type.
|
2020-06-19 22:12:51 +02:00
|
|
|
|
fn rem(self, other: Self) {}
|
2019-02-22 07:05:21 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Fine
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn into_u32(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn into_u16(&self) -> u16 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn to_something(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn new(self) -> Self {
|
|
|
|
|
unimplemented!();
|
|
|
|
|
}
|
2020-06-17 01:16:34 +02:00
|
|
|
|
|
|
|
|
|
pub fn next<'b>(&'b mut self) -> Option<&'b mut T> {
|
|
|
|
|
unimplemented!();
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
2020-06-19 22:12:51 +02:00
|
|
|
|
pub struct T2;
|
|
|
|
|
impl T2 {
|
2020-04-08 12:57:58 +02:00
|
|
|
|
// Shouldn't trigger lint as it is unsafe.
|
2020-06-19 22:12:51 +02:00
|
|
|
|
pub unsafe fn add(self, rhs: Self) -> Self {
|
2020-04-08 12:57:58 +02:00
|
|
|
|
self
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Should not trigger lint since this is an async function.
|
2020-06-19 22:12:51 +02:00
|
|
|
|
pub async fn next(&mut self) -> Option<Self> {
|
2020-04-08 12:57:58 +02:00
|
|
|
|
None
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-02-07 21:05:30 +01:00
|
|
|
|
struct Lt<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt<'a> {
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2018-07-28 17:34:52 +02:00
|
|
|
|
#[allow(clippy::needless_lifetimes)]
|
2019-02-22 07:05:21 +01:00
|
|
|
|
pub fn new<'b>(s: &'b str) -> Lt<'b> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Lt2<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt2<'a> {
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2019-02-22 07:05:21 +01:00
|
|
|
|
pub fn new(s: &str) -> Lt2 {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct Lt3<'a> {
|
|
|
|
|
foo: &'a u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'a> Lt3<'a> {
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// The lifetime is different, but that’s irrelevant; see issue #734.
|
2019-02-22 07:05:21 +01:00
|
|
|
|
pub fn new() -> Lt3<'static> {
|
|
|
|
|
unimplemented!()
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
2019-02-22 07:05:21 +01:00
|
|
|
|
#[derive(Clone, Copy)]
|
2017-02-07 21:05:30 +01:00
|
|
|
|
struct U;
|
|
|
|
|
|
|
|
|
|
impl U {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn new() -> Self {
|
|
|
|
|
U
|
|
|
|
|
}
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Ok because `U` is `Copy`.
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn to_something(self) -> u32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
struct V<T> {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
_dummy: T,
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<T> V<T> {
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn new() -> Option<V<T>> {
|
|
|
|
|
None
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
2019-08-09 17:44:05 +02:00
|
|
|
|
struct AsyncNew;
|
|
|
|
|
|
|
|
|
|
impl AsyncNew {
|
2019-08-09 19:19:49 +02:00
|
|
|
|
async fn new() -> Option<Self> {
|
|
|
|
|
None
|
2019-08-09 17:44:05 +02:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2019-08-09 23:15:49 +02:00
|
|
|
|
struct BadNew;
|
|
|
|
|
|
|
|
|
|
impl BadNew {
|
|
|
|
|
fn new() -> i32 {
|
|
|
|
|
0
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-02-07 21:05:30 +01:00
|
|
|
|
impl Mul<T> for T {
|
|
|
|
|
type Output = T;
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// No error, obviously.
|
2019-02-22 07:05:21 +01:00
|
|
|
|
fn mul(self, other: T) -> T {
|
|
|
|
|
self
|
|
|
|
|
}
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
/// Checks implementation of `FILTER_NEXT` lint.
|
2019-02-22 06:49:17 +01:00
|
|
|
|
#[rustfmt::skip]
|
2017-02-07 21:05:30 +01:00
|
|
|
|
fn filter_next() {
|
|
|
|
|
let v = vec![3, 2, 1, 0, -1, -2, -3];
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Single-line case.
|
2017-02-07 21:05:30 +01:00
|
|
|
|
let _ = v.iter().filter(|&x| *x < 0).next();
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Multi-line case.
|
2017-02-08 14:58:07 +01:00
|
|
|
|
let _ = v.iter().filter(|&x| {
|
2017-02-07 21:05:30 +01:00
|
|
|
|
*x < 0
|
|
|
|
|
}
|
|
|
|
|
).next();
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check that hat we don't lint if the caller is not an `Iterator`.
|
2017-02-07 21:05:30 +01:00
|
|
|
|
let foo = IteratorFalsePositives { foo: 0 };
|
|
|
|
|
let _ = foo.filter().next();
|
|
|
|
|
}
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
/// Checks implementation of `SEARCH_IS_SOME` lint.
|
2019-02-22 06:49:17 +01:00
|
|
|
|
#[rustfmt::skip]
|
2017-02-07 21:05:30 +01:00
|
|
|
|
fn search_is_some() {
|
|
|
|
|
let v = vec![3, 2, 1, 0, -1, -2, -3];
|
2019-08-26 12:50:15 +02:00
|
|
|
|
let y = &&42;
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `find().is_some()`, single-line case.
|
2017-02-07 21:05:30 +01:00
|
|
|
|
let _ = v.iter().find(|&x| *x < 0).is_some();
|
2019-08-26 12:50:15 +02: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 10:06:56 +02:00
|
|
|
|
let _ = v.iter().find(|x| **x == 0).is_some();
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `find().is_some()`, multi-line case.
|
2017-02-08 14:58:07 +01:00
|
|
|
|
let _ = v.iter().find(|&x| {
|
2017-02-07 21:05:30 +01:00
|
|
|
|
*x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `position().is_some()`, single-line case.
|
2017-02-07 21:05:30 +01:00
|
|
|
|
let _ = v.iter().position(|&x| x < 0).is_some();
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `position().is_some()`, multi-line case.
|
2017-02-08 14:58:07 +01:00
|
|
|
|
let _ = v.iter().position(|&x| {
|
2017-02-07 21:05:30 +01:00
|
|
|
|
x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `rposition().is_some()`, single-line case.
|
2017-02-07 21:05:30 +01:00
|
|
|
|
let _ = v.iter().rposition(|&x| x < 0).is_some();
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check `rposition().is_some()`, multi-line case.
|
2017-02-08 14:58:07 +01:00
|
|
|
|
let _ = v.iter().rposition(|&x| {
|
2017-02-07 21:05:30 +01:00
|
|
|
|
x < 0
|
|
|
|
|
}
|
|
|
|
|
).is_some();
|
|
|
|
|
|
2019-01-31 02:15:29 +01:00
|
|
|
|
// Check that we don't lint if the caller is not an `Iterator`.
|
2017-02-07 21:05:30 +01: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 19:43:26 +02:00
|
|
|
|
filter_next();
|
|
|
|
|
search_is_some();
|
2017-02-07 21:05:30 +01:00
|
|
|
|
}
|