2018-10-06 11:18:06 -05: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-18 00:57:50 -05:00
|
|
|
use crate::utils::{in_macro, span_lint_and_sugg};
|
2018-07-19 03:00:54 -05:00
|
|
|
use if_chain::if_chain;
|
2018-09-15 02:21:58 -05:00
|
|
|
use crate::rustc::hir::intravisit::{walk_path, walk_ty, NestedVisitorMap, Visitor};
|
|
|
|
use crate::rustc::hir::*;
|
|
|
|
use crate::rustc::lint::{LateContext, LateLintPass, LintArray, LintPass};
|
|
|
|
use crate::rustc::ty;
|
|
|
|
use crate::rustc::{declare_tool_lint, lint_array};
|
|
|
|
use crate::syntax_pos::symbol::keywords::SelfType;
|
2017-07-28 06:28:07 -05:00
|
|
|
|
|
|
|
/// **What it does:** Checks for unnecessary repetition of structure name when a
|
|
|
|
/// replacement with `Self` is applicable.
|
|
|
|
///
|
2017-09-03 16:15:15 -05:00
|
|
|
/// **Why is this bad?** Unnecessary repetition. Mixed use of `Self` and struct
|
|
|
|
/// name
|
2017-07-28 06:28:07 -05:00
|
|
|
/// feels inconsistent.
|
|
|
|
///
|
|
|
|
/// **Known problems:** None.
|
|
|
|
///
|
|
|
|
/// **Example:**
|
|
|
|
/// ```rust
|
|
|
|
/// struct Foo {}
|
|
|
|
/// impl Foo {
|
|
|
|
/// fn new() -> Foo {
|
|
|
|
/// Foo {}
|
|
|
|
/// }
|
|
|
|
/// }
|
|
|
|
/// ```
|
|
|
|
/// could be
|
2018-10-30 19:42:17 -05:00
|
|
|
/// ```rust
|
2017-07-28 06:28:07 -05:00
|
|
|
/// struct Foo {}
|
|
|
|
/// impl Foo {
|
|
|
|
/// fn new() -> Self {
|
|
|
|
/// Self {}
|
|
|
|
/// }
|
|
|
|
/// }
|
|
|
|
/// ```
|
2018-03-28 08:24:26 -05:00
|
|
|
declare_clippy_lint! {
|
2017-07-28 06:28:07 -05:00
|
|
|
pub USE_SELF,
|
2018-03-28 08:24:26 -05:00
|
|
|
pedantic,
|
2017-08-18 12:42:26 -05:00
|
|
|
"Unnecessary structure name repetition whereas `Self` is applicable"
|
2017-07-28 06:28:07 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Copy, Clone, Default)]
|
|
|
|
pub struct UseSelf;
|
|
|
|
|
|
|
|
impl LintPass for UseSelf {
|
|
|
|
fn get_lints(&self) -> LintArray {
|
|
|
|
lint_array!(USE_SELF)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-22 12:22:47 -05:00
|
|
|
const SEGMENTS_MSG: &str = "segments should be composed of at least 1 element";
|
|
|
|
|
2018-07-24 23:34:29 -05:00
|
|
|
fn span_use_self_lint(cx: &LateContext<'_, '_>, path: &Path) {
|
2018-07-18 00:57:50 -05:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
USE_SELF,
|
|
|
|
path.span,
|
|
|
|
"unnecessary structure name repetition",
|
|
|
|
"use the applicable keyword",
|
|
|
|
"Self".to_owned(),
|
|
|
|
);
|
2018-07-14 05:18:50 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
struct TraitImplTyVisitor<'a, 'tcx: 'a> {
|
2018-11-10 02:46:21 -06:00
|
|
|
item_type: ty::Ty<'tcx>,
|
2018-07-14 05:18:50 -05:00
|
|
|
cx: &'a LateContext<'a, 'tcx>,
|
2018-07-17 01:20:49 -05:00
|
|
|
trait_type_walker: ty::walk::TypeWalker<'tcx>,
|
|
|
|
impl_type_walker: ty::walk::TypeWalker<'tcx>,
|
2018-07-14 05:18:50 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'tcx> Visitor<'tcx> for TraitImplTyVisitor<'a, 'tcx> {
|
|
|
|
fn visit_ty(&mut self, t: &'tcx Ty) {
|
2018-07-17 01:20:49 -05:00
|
|
|
let trait_ty = self.trait_type_walker.next();
|
|
|
|
let impl_ty = self.impl_type_walker.next();
|
|
|
|
|
2018-07-16 23:32:39 -05:00
|
|
|
if let TyKind::Path(QPath::Resolved(_, path)) = &t.node {
|
2018-07-17 01:20:49 -05:00
|
|
|
|
2018-11-10 02:46:21 -06:00
|
|
|
// The implementation and trait types don't match which means that
|
|
|
|
// the concrete type was specified by the implementation
|
|
|
|
if impl_ty != trait_ty {
|
|
|
|
|
|
|
|
if let Some(impl_ty) = impl_ty {
|
|
|
|
if self.item_type == impl_ty {
|
|
|
|
let is_self_ty = if let def::Def::SelfTy(..) = path.def {
|
|
|
|
true
|
|
|
|
} else {
|
|
|
|
false
|
|
|
|
};
|
|
|
|
|
|
|
|
if !is_self_ty {
|
|
|
|
span_use_self_lint(self.cx, path);
|
|
|
|
}
|
|
|
|
}
|
2018-07-14 05:18:50 -05:00
|
|
|
}
|
2018-11-10 02:46:21 -06:00
|
|
|
|
2018-07-14 05:18:50 -05:00
|
|
|
}
|
|
|
|
}
|
2018-11-10 02:46:21 -06:00
|
|
|
|
2018-07-14 05:18:50 -05:00
|
|
|
walk_ty(self, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn nested_visit_map<'this>(&'this mut self) -> NestedVisitorMap<'this, 'tcx> {
|
|
|
|
NestedVisitorMap::None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn check_trait_method_impl_decl<'a, 'tcx: 'a>(
|
|
|
|
cx: &'a LateContext<'a, 'tcx>,
|
2018-11-10 02:46:21 -06:00
|
|
|
item_type: ty::Ty<'tcx>,
|
2018-07-14 05:18:50 -05:00
|
|
|
impl_item: &ImplItem,
|
|
|
|
impl_decl: &'tcx FnDecl,
|
2018-07-24 23:34:29 -05:00
|
|
|
impl_trait_ref: &ty::TraitRef<'_>,
|
2018-07-14 05:18:50 -05:00
|
|
|
) {
|
|
|
|
let trait_method = cx
|
|
|
|
.tcx
|
|
|
|
.associated_items(impl_trait_ref.def_id)
|
|
|
|
.find(|assoc_item| {
|
|
|
|
assoc_item.kind == ty::AssociatedKind::Method
|
|
|
|
&& cx
|
|
|
|
.tcx
|
|
|
|
.hygienic_eq(impl_item.ident, assoc_item.ident, impl_trait_ref.def_id)
|
|
|
|
})
|
|
|
|
.expect("impl method matches a trait method");
|
|
|
|
|
|
|
|
let trait_method_sig = cx.tcx.fn_sig(trait_method.def_id);
|
|
|
|
let trait_method_sig = cx.tcx.erase_late_bound_regions(&trait_method_sig);
|
|
|
|
|
2018-07-17 01:20:49 -05:00
|
|
|
let impl_method_def_id = cx.tcx.hir.local_def_id(impl_item.id);
|
|
|
|
let impl_method_sig = cx.tcx.fn_sig(impl_method_def_id);
|
|
|
|
let impl_method_sig = cx.tcx.erase_late_bound_regions(&impl_method_sig);
|
|
|
|
|
2018-07-14 05:18:50 -05:00
|
|
|
let output_ty = if let FunctionRetTy::Return(ty) = &impl_decl.output {
|
|
|
|
Some(&**ty)
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
};
|
|
|
|
|
2018-07-28 03:42:21 -05:00
|
|
|
// `impl_decl_ty` (of type `hir::Ty`) represents the type declared in the signature.
|
|
|
|
// `impl_ty` (of type `ty:TyS`) is the concrete type that the compiler has determined for
|
|
|
|
// that declaration. We use `impl_decl_ty` to see if the type was declared as `Self`
|
|
|
|
// and use `impl_ty` to check its concrete type.
|
2018-07-17 01:20:49 -05:00
|
|
|
for (impl_decl_ty, (impl_ty, trait_ty)) in impl_decl.inputs.iter().chain(output_ty).zip(
|
|
|
|
impl_method_sig
|
|
|
|
.inputs_and_output
|
|
|
|
.iter()
|
|
|
|
.zip(trait_method_sig.inputs_and_output),
|
|
|
|
) {
|
2018-07-14 05:18:50 -05:00
|
|
|
let mut visitor = TraitImplTyVisitor {
|
|
|
|
cx,
|
2018-11-10 02:46:21 -06:00
|
|
|
item_type,
|
2018-07-17 01:20:49 -05:00
|
|
|
trait_type_walker: trait_ty.walk(),
|
|
|
|
impl_type_walker: impl_ty.walk(),
|
2018-07-14 05:18:50 -05:00
|
|
|
};
|
|
|
|
|
2018-07-17 01:20:49 -05:00
|
|
|
visitor.visit_ty(&impl_decl_ty);
|
2018-07-14 05:18:50 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-28 06:28:07 -05:00
|
|
|
impl<'a, 'tcx> LateLintPass<'a, 'tcx> for UseSelf {
|
|
|
|
fn check_item(&mut self, cx: &LateContext<'a, 'tcx>, item: &'tcx Item) {
|
2017-08-21 05:58:06 -05:00
|
|
|
if in_macro(item.span) {
|
|
|
|
return;
|
|
|
|
}
|
2017-10-23 14:18:02 -05:00
|
|
|
if_chain! {
|
2018-07-16 08:07:39 -05:00
|
|
|
if let ItemKind::Impl(.., ref item_type, ref refs) = item.node;
|
2018-07-12 03:03:06 -05:00
|
|
|
if let TyKind::Path(QPath::Resolved(_, ref item_path)) = item_type.node;
|
2017-10-23 14:18:02 -05:00
|
|
|
then {
|
2018-06-24 08:32:40 -05:00
|
|
|
let parameters = &item_path.segments.last().expect(SEGMENTS_MSG).args;
|
2017-10-23 14:18:02 -05:00
|
|
|
let should_check = if let Some(ref params) = *parameters {
|
2018-06-24 16:42:52 -05:00
|
|
|
!params.parenthesized && !params.args.iter().any(|arg| match arg {
|
|
|
|
GenericArg::Lifetime(_) => true,
|
|
|
|
GenericArg::Type(_) => false,
|
|
|
|
})
|
2017-10-23 14:18:02 -05:00
|
|
|
} else {
|
|
|
|
true
|
2017-08-25 02:30:21 -05:00
|
|
|
};
|
2018-07-14 05:18:50 -05:00
|
|
|
|
2017-10-23 14:18:02 -05:00
|
|
|
if should_check {
|
|
|
|
let visitor = &mut UseSelfVisitor {
|
2018-03-15 10:07:15 -05:00
|
|
|
item_path,
|
|
|
|
cx,
|
2017-10-23 14:18:02 -05:00
|
|
|
};
|
2018-07-14 05:18:50 -05:00
|
|
|
let impl_def_id = cx.tcx.hir.local_def_id(item.id);
|
|
|
|
let impl_trait_ref = cx.tcx.impl_trait_ref(impl_def_id);
|
|
|
|
|
|
|
|
if let Some(impl_trait_ref) = impl_trait_ref {
|
|
|
|
for impl_item_ref in refs {
|
|
|
|
let impl_item = cx.tcx.hir.impl_item(impl_item_ref.id);
|
|
|
|
if let ImplItemKind::Method(MethodSig{ decl: impl_decl, .. }, impl_body_id)
|
|
|
|
= &impl_item.node {
|
2018-11-10 02:46:21 -06:00
|
|
|
let item_type = cx.tcx.type_of(impl_def_id);
|
|
|
|
check_trait_method_impl_decl(cx, item_type, impl_item, impl_decl, &impl_trait_ref);
|
|
|
|
|
2018-07-14 05:18:50 -05:00
|
|
|
let body = cx.tcx.hir.body(*impl_body_id);
|
|
|
|
visitor.visit_body(body);
|
|
|
|
} else {
|
|
|
|
visitor.visit_impl_item(impl_item);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
for impl_item_ref in refs {
|
|
|
|
let impl_item = cx.tcx.hir.impl_item(impl_item_ref.id);
|
|
|
|
visitor.visit_impl_item(impl_item);
|
|
|
|
}
|
2017-10-23 14:18:02 -05:00
|
|
|
}
|
2017-08-25 02:30:21 -05:00
|
|
|
}
|
2017-07-28 06:28:07 -05:00
|
|
|
}
|
2017-10-23 14:18:02 -05:00
|
|
|
}
|
2017-07-28 06:28:07 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct UseSelfVisitor<'a, 'tcx: 'a> {
|
|
|
|
item_path: &'a Path,
|
|
|
|
cx: &'a LateContext<'a, 'tcx>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'tcx> Visitor<'tcx> for UseSelfVisitor<'a, 'tcx> {
|
2018-08-08 01:00:23 -05:00
|
|
|
fn visit_path(&mut self, path: &'tcx Path, _id: HirId) {
|
2018-06-28 08:46:58 -05:00
|
|
|
if self.item_path.def == path.def && path.segments.last().expect(SEGMENTS_MSG).ident.name != SelfType.name() {
|
2018-07-14 05:18:50 -05:00
|
|
|
span_use_self_lint(self.cx, path);
|
2017-07-28 06:28:07 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
walk_path(self, path);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn nested_visit_map<'this>(&'this mut self) -> NestedVisitorMap<'this, 'tcx> {
|
2018-10-24 22:28:54 -05:00
|
|
|
NestedVisitorMap::All(&self.cx.tcx.hir)
|
2017-07-28 06:28:07 -05:00
|
|
|
}
|
|
|
|
}
|