2018-07-19 08:00:54 +00:00
|
|
|
use if_chain::if_chain;
|
2018-12-29 15:04:45 +00:00
|
|
|
use rustc::hir::*;
|
|
|
|
use rustc::lint::{LateContext, LateLintPass, LintArray, LintPass};
|
|
|
|
use rustc::ty;
|
|
|
|
use rustc::{declare_tool_lint, lint_array};
|
|
|
|
use rustc_errors::Applicability;
|
2018-06-14 07:57:27 +00:00
|
|
|
|
2019-04-07 17:44:10 +00:00
|
|
|
use crate::utils::{any_parent_is_automatically_derived, paths, span_lint_and_sugg};
|
2018-06-14 07:57:27 +00:00
|
|
|
|
|
|
|
declare_clippy_lint! {
|
2019-03-05 16:50:33 +00:00
|
|
|
/// **What it does:** Checks for literal calls to `Default::default()`.
|
|
|
|
///
|
|
|
|
/// **Why is this bad?** It's more clear to the reader to use the name of the type whose default is
|
|
|
|
/// being gotten than the generic `Default`.
|
|
|
|
///
|
|
|
|
/// **Known problems:** None.
|
|
|
|
///
|
|
|
|
/// **Example:**
|
|
|
|
/// ```rust
|
|
|
|
/// // Bad
|
|
|
|
/// let s: String = Default::default();
|
|
|
|
///
|
|
|
|
/// // Good
|
|
|
|
/// let s = String::default();
|
|
|
|
/// ```
|
2018-06-14 07:57:27 +00:00
|
|
|
pub DEFAULT_TRAIT_ACCESS,
|
2018-06-25 18:39:48 +00:00
|
|
|
pedantic,
|
2018-06-14 07:57:27 +00:00
|
|
|
"checks for literal calls to Default::default()"
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct DefaultTraitAccess;
|
|
|
|
|
|
|
|
impl LintPass for DefaultTraitAccess {
|
|
|
|
fn get_lints(&self) -> LintArray {
|
|
|
|
lint_array!(DEFAULT_TRAIT_ACCESS)
|
|
|
|
}
|
2019-01-26 19:40:55 +00:00
|
|
|
|
|
|
|
fn name(&self) -> &'static str {
|
|
|
|
"DefaultTraitAccess"
|
|
|
|
}
|
2018-06-14 07:57:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'tcx> LateLintPass<'a, 'tcx> for DefaultTraitAccess {
|
|
|
|
fn check_expr(&mut self, cx: &LateContext<'a, 'tcx>, expr: &'tcx Expr) {
|
|
|
|
if_chain! {
|
2018-11-27 20:49:09 +00:00
|
|
|
if let ExprKind::Call(ref path, ..) = expr.node;
|
2019-02-24 18:43:15 +00:00
|
|
|
if !any_parent_is_automatically_derived(cx.tcx, expr.hir_id);
|
2018-11-27 20:49:09 +00:00
|
|
|
if let ExprKind::Path(ref qpath) = path.node;
|
2019-03-08 13:14:41 +00:00
|
|
|
if let Some(def_id) = cx.tables.qpath_def(qpath, path.hir_id).opt_def_id();
|
2019-04-07 17:44:10 +00:00
|
|
|
if cx.match_def_path(def_id, &paths::DEFAULT_TRAIT_METHOD);
|
2018-11-27 20:49:09 +00:00
|
|
|
then {
|
|
|
|
match qpath {
|
|
|
|
QPath::Resolved(..) => {
|
|
|
|
if_chain! {
|
|
|
|
// Detect and ignore <Foo as Default>::default() because these calls do
|
|
|
|
// explicitly name the type.
|
|
|
|
if let ExprKind::Call(ref method, ref _args) = expr.node;
|
|
|
|
if let ExprKind::Path(ref p) = method.node;
|
|
|
|
if let QPath::Resolved(Some(_ty), _path) = p;
|
|
|
|
then {
|
|
|
|
return;
|
|
|
|
}
|
2018-11-27 20:14:15 +00:00
|
|
|
}
|
2018-11-27 20:49:09 +00:00
|
|
|
|
|
|
|
// TODO: Work out a way to put "whatever the imported way of referencing
|
|
|
|
// this type in this file" rather than a fully-qualified type.
|
|
|
|
let expr_ty = cx.tables.expr_ty(expr);
|
2018-12-04 22:19:42 +00:00
|
|
|
if let ty::Adt(..) = expr_ty.sty {
|
2018-11-27 20:49:09 +00:00
|
|
|
let replacement = format!("{}::default()", expr_ty);
|
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
DEFAULT_TRAIT_ACCESS,
|
|
|
|
expr.span,
|
|
|
|
&format!("Calling {} is more clear than this expression", replacement),
|
|
|
|
"try",
|
|
|
|
replacement,
|
|
|
|
Applicability::Unspecified, // First resolve the TODO above
|
|
|
|
);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
QPath::TypeRelative(..) => {},
|
|
|
|
}
|
|
|
|
}
|
2018-11-27 20:14:15 +00:00
|
|
|
}
|
2018-06-14 07:57:27 +00:00
|
|
|
}
|
|
|
|
}
|