rust/clippy_lints/src/unused_self.rs

68 lines
2.2 KiB
Rust
Raw Normal View History

use clippy_utils::diagnostics::span_lint_and_help;
2021-03-16 11:06:34 -05:00
use clippy_utils::visitors::LocalUsedVisitor;
2019-10-03 14:09:32 -05:00
use if_chain::if_chain;
use rustc_hir::{Impl, ImplItem, ImplItemKind, ItemKind};
2020-01-12 00:08:41 -06:00
use rustc_lint::{LateContext, LateLintPass};
2020-01-11 05:37:08 -06:00
use rustc_session::{declare_lint_pass, declare_tool_lint};
2019-10-03 14:09:32 -05:00
declare_clippy_lint! {
/// **What it does:** Checks methods that contain a `self` argument but don't use it
///
/// **Why is this bad?** It may be clearer to define the method as an associated function instead
2019-10-03 14:09:32 -05:00
/// of an instance method if it doesn't require `self`.
///
/// **Known problems:** None.
///
/// **Example:**
/// ```rust,ignore
/// struct A;
/// impl A {
/// fn method(&self) {}
/// }
/// ```
///
/// Could be written:
///
/// ```rust,ignore
/// struct A;
/// impl A {
/// fn method() {}
/// }
/// ```
pub UNUSED_SELF,
2019-10-04 12:18:52 -05:00
pedantic,
2019-10-03 14:09:32 -05:00
"methods that contain a `self` argument but don't use it"
}
declare_lint_pass!(UnusedSelf => [UNUSED_SELF]);
impl<'tcx> LateLintPass<'tcx> for UnusedSelf {
fn check_impl_item(&mut self, cx: &LateContext<'tcx>, impl_item: &ImplItem<'_>) {
if impl_item.span.from_expansion() {
2019-10-03 14:09:32 -05:00
return;
}
let parent = cx.tcx.hir().get_parent_item(impl_item.hir_id());
2020-03-29 15:22:28 -05:00
let parent_item = cx.tcx.hir().expect_item(parent);
let assoc_item = cx.tcx.associated_item(impl_item.def_id);
2020-03-29 15:22:28 -05:00
if_chain! {
if let ItemKind::Impl(Impl { of_trait: None, .. }) = parent_item.kind;
if assoc_item.fn_has_self_parameter;
2020-03-29 15:22:28 -05:00
if let ImplItemKind::Fn(.., body_id) = &impl_item.kind;
let body = cx.tcx.hir().body(*body_id);
2021-03-30 14:59:59 -05:00
if let [self_param, ..] = body.params;
let self_hir_id = self_param.pat.hir_id;
if !LocalUsedVisitor::new(cx, self_hir_id).check_body(body);
2020-03-29 15:22:28 -05:00
then {
2021-03-30 14:59:59 -05:00
span_lint_and_help(
cx,
UNUSED_SELF,
self_param.span,
"unused `self` argument",
None,
"consider refactoring to a associated function",
);
2019-10-03 14:09:32 -05:00
}
2020-03-29 15:22:28 -05:00
}
2019-10-03 14:09:32 -05:00
}
}