2018-07-28 15:34:52 +00:00
|
|
|
#![warn(clippy::use_self)]
|
2017-07-28 11:28:07 +00:00
|
|
|
#![allow(dead_code)]
|
2018-07-28 15:34:52 +00:00
|
|
|
#![allow(clippy::should_implement_trait)]
|
2017-07-28 11:28:07 +00:00
|
|
|
|
|
|
|
fn main() {}
|
|
|
|
|
|
|
|
mod use_self {
|
|
|
|
struct Foo {}
|
|
|
|
|
|
|
|
impl Foo {
|
|
|
|
fn new() -> Foo {
|
|
|
|
Foo {}
|
|
|
|
}
|
|
|
|
fn test() -> Foo {
|
|
|
|
Foo::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Default for Foo {
|
|
|
|
fn default() -> Foo {
|
|
|
|
Foo::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
mod better {
|
|
|
|
struct Foo {}
|
|
|
|
|
|
|
|
impl Foo {
|
|
|
|
fn new() -> Self {
|
|
|
|
Self {}
|
|
|
|
}
|
|
|
|
fn test() -> Self {
|
|
|
|
Self::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Default for Foo {
|
|
|
|
fn default() -> Self {
|
|
|
|
Self::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-08-21 22:18:37 +00:00
|
|
|
|
|
|
|
mod lifetimes {
|
2018-12-09 22:26:16 +00:00
|
|
|
struct Foo<'a> {
|
|
|
|
foo_str: &'a str,
|
|
|
|
}
|
2017-08-21 22:18:37 +00:00
|
|
|
|
|
|
|
impl<'a> Foo<'a> {
|
2018-12-09 22:26:16 +00:00
|
|
|
// Cannot use `Self` as return type, because the function is actually `fn foo<'b>(s: &'b str) ->
|
|
|
|
// Foo<'b>`
|
2017-08-21 22:18:37 +00:00
|
|
|
fn foo(s: &str) -> Foo {
|
|
|
|
Foo { foo_str: s }
|
|
|
|
}
|
|
|
|
// cannot replace with `Self`, because that's `Foo<'a>`
|
|
|
|
fn bar() -> Foo<'static> {
|
2018-12-09 22:26:16 +00:00
|
|
|
Foo { foo_str: "foo" }
|
2017-08-21 22:18:37 +00:00
|
|
|
}
|
|
|
|
|
2018-12-28 12:41:33 +00:00
|
|
|
// FIXME: the lint does not handle lifetimed struct
|
2018-12-27 08:54:19 +00:00
|
|
|
// `Self` should be applicable here
|
2017-08-21 22:18:37 +00:00
|
|
|
fn clone(&self) -> Foo<'a> {
|
2018-12-09 22:26:16 +00:00
|
|
|
Foo { foo_str: self.foo_str }
|
2017-08-21 22:18:37 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-07-14 10:18:50 +00:00
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#[allow(clippy::boxed_local)]
|
2018-07-14 10:18:50 +00:00
|
|
|
mod traits {
|
|
|
|
|
2018-07-17 06:20:49 +00:00
|
|
|
use std::ops::Mul;
|
2018-07-14 10:18:50 +00:00
|
|
|
|
|
|
|
trait SelfTrait {
|
|
|
|
fn refs(p1: &Self) -> &Self;
|
|
|
|
fn ref_refs<'a>(p1: &'a &'a Self) -> &'a &'a Self;
|
|
|
|
fn mut_refs(p1: &mut Self) -> &mut Self;
|
|
|
|
fn nested(p1: Box<Self>, p2: (&u8, &Self));
|
|
|
|
fn vals(r: Self) -> Self;
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
struct Bad;
|
|
|
|
|
|
|
|
impl SelfTrait for Bad {
|
|
|
|
fn refs(p1: &Bad) -> &Bad {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ref_refs<'a>(p1: &'a &'a Bad) -> &'a &'a Bad {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mut_refs(p1: &mut Bad) -> &mut Bad {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
fn nested(_p1: Box<Bad>, _p2: (&u8, &Bad)) {}
|
2018-07-14 10:18:50 +00:00
|
|
|
|
|
|
|
fn vals(_: Bad) -> Bad {
|
|
|
|
Bad::default()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-17 06:20:49 +00:00
|
|
|
impl Mul for Bad {
|
|
|
|
type Output = Bad;
|
|
|
|
|
|
|
|
fn mul(self, rhs: Bad) -> Bad {
|
|
|
|
rhs
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-14 10:18:50 +00:00
|
|
|
#[derive(Default)]
|
|
|
|
struct Good;
|
|
|
|
|
|
|
|
impl SelfTrait for Good {
|
|
|
|
fn refs(p1: &Self) -> &Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ref_refs<'a>(p1: &'a &'a Self) -> &'a &'a Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mut_refs(p1: &mut Self) -> &mut Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
fn nested(_p1: Box<Self>, _p2: (&u8, &Self)) {}
|
2018-07-14 10:18:50 +00:00
|
|
|
|
|
|
|
fn vals(_: Self) -> Self {
|
|
|
|
Self::default()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-17 06:20:49 +00:00
|
|
|
impl Mul for Good {
|
|
|
|
type Output = Self;
|
|
|
|
|
|
|
|
fn mul(self, rhs: Self) -> Self {
|
|
|
|
rhs
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-14 10:18:50 +00:00
|
|
|
trait NameTrait {
|
|
|
|
fn refs(p1: &u8) -> &u8;
|
|
|
|
fn ref_refs<'a>(p1: &'a &'a u8) -> &'a &'a u8;
|
|
|
|
fn mut_refs(p1: &mut u8) -> &mut u8;
|
|
|
|
fn nested(p1: Box<u8>, p2: (&u8, &u8));
|
|
|
|
fn vals(p1: u8) -> u8;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Using `Self` instead of the type name is OK
|
|
|
|
impl NameTrait for u8 {
|
|
|
|
fn refs(p1: &Self) -> &Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ref_refs<'a>(p1: &'a &'a Self) -> &'a &'a Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mut_refs(p1: &mut Self) -> &mut Self {
|
|
|
|
p1
|
|
|
|
}
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
fn nested(_p1: Box<Self>, _p2: (&Self, &Self)) {}
|
2018-07-14 10:18:50 +00:00
|
|
|
|
|
|
|
fn vals(_: Self) -> Self {
|
|
|
|
Self::default()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check that self arg isn't linted
|
|
|
|
impl Clone for Good {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
// Note: Not linted and it wouldn't be valid
|
2018-07-17 06:20:49 +00:00
|
|
|
// because "can't use `Self` as a constructor`"
|
2018-07-14 10:18:50 +00:00
|
|
|
Good
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
mod issue2894 {
|
|
|
|
trait IntoBytes {
|
|
|
|
fn into_bytes(&self) -> Vec<u8>;
|
|
|
|
}
|
|
|
|
|
|
|
|
// This should not be linted
|
|
|
|
impl IntoBytes for u8 {
|
|
|
|
fn into_bytes(&self) -> Vec<u8> {
|
|
|
|
vec![*self]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-10-25 03:28:54 +00:00
|
|
|
|
|
|
|
mod existential {
|
|
|
|
struct Foo;
|
|
|
|
|
|
|
|
impl Foo {
|
2018-12-09 22:26:16 +00:00
|
|
|
fn bad(foos: &[Self]) -> impl Iterator<Item = &Foo> {
|
2018-10-25 03:28:54 +00:00
|
|
|
foos.iter()
|
|
|
|
}
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
fn good(foos: &[Self]) -> impl Iterator<Item = &Self> {
|
2018-10-25 03:28:54 +00:00
|
|
|
foos.iter()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-11-10 08:46:21 +00:00
|
|
|
|
2018-12-27 16:27:42 +00:00
|
|
|
mod tuple_structs {
|
|
|
|
pub struct TS(i32);
|
|
|
|
|
|
|
|
impl TS {
|
|
|
|
pub fn ts() -> Self {
|
|
|
|
TS(0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-04 10:31:28 +00:00
|
|
|
mod macros {
|
|
|
|
macro_rules! use_self_expand {
|
|
|
|
() => {
|
|
|
|
fn new() -> Foo {
|
|
|
|
Foo {}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
struct Foo {}
|
|
|
|
|
|
|
|
impl Foo {
|
|
|
|
use_self_expand!(); // Should lint in local macros
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-06 14:05:04 +00:00
|
|
|
mod nesting {
|
|
|
|
struct Foo {}
|
|
|
|
impl Foo {
|
|
|
|
fn foo() {
|
|
|
|
use self::Foo; // Can't use Self here
|
|
|
|
struct Bar {
|
|
|
|
foo: Foo, // Foo != Self
|
|
|
|
}
|
2019-01-07 13:11:53 +00:00
|
|
|
|
|
|
|
impl Bar {
|
|
|
|
fn bar() -> Bar {
|
2019-01-07 13:38:01 +00:00
|
|
|
Bar { foo: Foo {} }
|
2019-01-07 13:11:53 +00:00
|
|
|
}
|
|
|
|
}
|
2019-01-06 14:05:04 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
enum Enum {
|
|
|
|
A,
|
|
|
|
}
|
|
|
|
impl Enum {
|
|
|
|
fn method() {
|
2019-01-07 13:11:53 +00:00
|
|
|
use self::Enum::*; // Issue 3425
|
2019-01-06 14:05:04 +00:00
|
|
|
static STATIC: Enum = Enum::A; // Can't use Self as type
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-10 08:46:21 +00:00
|
|
|
mod issue3410 {
|
|
|
|
|
|
|
|
struct A;
|
|
|
|
struct B;
|
|
|
|
|
2018-11-13 04:15:33 +00:00
|
|
|
trait Trait<T> {
|
2018-11-10 08:46:21 +00:00
|
|
|
fn a(v: T);
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Trait<Vec<A>> for Vec<B> {
|
|
|
|
fn a(_: Vec<A>) {}
|
|
|
|
}
|
|
|
|
}
|
2019-01-21 12:06:32 +00:00
|
|
|
|
|
|
|
#[allow(clippy::no_effect)]
|
|
|
|
mod rustfix {
|
|
|
|
mod nested {
|
|
|
|
pub struct A {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl nested::A {
|
|
|
|
const A: bool = true;
|
|
|
|
|
|
|
|
fn fun_1() {}
|
|
|
|
|
|
|
|
fn fun_2() {
|
|
|
|
nested::A::fun_1();
|
|
|
|
nested::A::A;
|
|
|
|
|
|
|
|
nested::A {};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|