2021-02-21 17:25:50 +00:00
|
|
|
use super::FOR_KV_MAP;
|
2021-03-16 00:55:45 +00:00
|
|
|
use clippy_utils::diagnostics::{multispan_sugg, span_lint_and_then};
|
2021-03-14 23:17:44 +00:00
|
|
|
use clippy_utils::source::snippet;
|
2021-03-13 23:01:03 +00:00
|
|
|
use clippy_utils::ty::{is_type_diagnostic_item, match_type};
|
2021-03-16 16:06:34 +00:00
|
|
|
use clippy_utils::visitors::LocalUsedVisitor;
|
|
|
|
use clippy_utils::{paths, sugg};
|
2021-02-08 20:04:33 +00:00
|
|
|
use rustc_hir::{BorrowKind, Expr, ExprKind, Mutability, Pat, PatKind};
|
|
|
|
use rustc_lint::LateContext;
|
|
|
|
use rustc_middle::ty;
|
2021-03-11 09:57:49 +00:00
|
|
|
use rustc_span::sym;
|
2021-02-08 20:04:33 +00:00
|
|
|
|
|
|
|
/// Checks for the `FOR_KV_MAP` lint.
|
2021-03-02 02:49:14 +00:00
|
|
|
pub(super) fn check<'tcx>(
|
2021-02-08 20:04:33 +00:00
|
|
|
cx: &LateContext<'tcx>,
|
|
|
|
pat: &'tcx Pat<'_>,
|
|
|
|
arg: &'tcx Expr<'_>,
|
|
|
|
body: &'tcx Expr<'_>,
|
|
|
|
expr: &'tcx Expr<'_>,
|
|
|
|
) {
|
|
|
|
let pat_span = pat.span;
|
|
|
|
|
2021-04-02 21:35:32 +00:00
|
|
|
if let PatKind::Tuple(pat, _) = pat.kind {
|
2021-02-08 20:04:33 +00:00
|
|
|
if pat.len() == 2 {
|
|
|
|
let arg_span = arg.span;
|
|
|
|
let (new_pat_span, kind, ty, mutbl) = match *cx.typeck_results().expr_ty(arg).kind() {
|
|
|
|
ty::Ref(_, ty, mutbl) => match (&pat[0].kind, &pat[1].kind) {
|
2021-02-22 15:24:25 +00:00
|
|
|
(key, _) if pat_is_wild(cx, key, body) => (pat[1].span, "value", ty, mutbl),
|
|
|
|
(_, value) if pat_is_wild(cx, value, body) => (pat[0].span, "key", ty, Mutability::Not),
|
2021-02-08 20:04:33 +00:00
|
|
|
_ => return,
|
|
|
|
},
|
|
|
|
_ => return,
|
|
|
|
};
|
|
|
|
let mutbl = match mutbl {
|
|
|
|
Mutability::Not => "",
|
|
|
|
Mutability::Mut => "_mut",
|
|
|
|
};
|
|
|
|
let arg = match arg.kind {
|
2021-04-02 21:35:32 +00:00
|
|
|
ExprKind::AddrOf(BorrowKind::Ref, _, expr) => expr,
|
2021-02-08 20:04:33 +00:00
|
|
|
_ => arg,
|
|
|
|
};
|
|
|
|
|
2021-03-11 09:57:49 +00:00
|
|
|
if is_type_diagnostic_item(cx, ty, sym::hashmap_type) || match_type(cx, ty, &paths::BTREEMAP) {
|
2021-02-08 20:04:33 +00:00
|
|
|
span_lint_and_then(
|
|
|
|
cx,
|
2021-02-21 17:25:50 +00:00
|
|
|
FOR_KV_MAP,
|
2021-02-08 20:04:33 +00:00
|
|
|
expr.span,
|
|
|
|
&format!("you seem to want to iterate on a map's {}s", kind),
|
|
|
|
|diag| {
|
|
|
|
let map = sugg::Sugg::hir(cx, arg, "map");
|
|
|
|
multispan_sugg(
|
|
|
|
diag,
|
|
|
|
"use the corresponding method",
|
|
|
|
vec![
|
|
|
|
(pat_span, snippet(cx, new_pat_span, kind).into_owned()),
|
|
|
|
(arg_span, format!("{}.{}s{}()", map.maybe_par(), kind, mutbl)),
|
|
|
|
],
|
|
|
|
);
|
|
|
|
},
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns `true` if the pattern is a `PatWild` or an ident prefixed with `_`.
|
2021-02-22 15:24:25 +00:00
|
|
|
fn pat_is_wild<'tcx>(cx: &LateContext<'tcx>, pat: &'tcx PatKind<'_>, body: &'tcx Expr<'_>) -> bool {
|
2021-02-08 20:04:33 +00:00
|
|
|
match *pat {
|
|
|
|
PatKind::Wild => true,
|
|
|
|
PatKind::Binding(_, id, ident, None) if ident.as_str().starts_with('_') => {
|
2021-02-22 15:24:25 +00:00
|
|
|
!LocalUsedVisitor::new(cx, id).check_expr(body)
|
2021-02-08 20:04:33 +00:00
|
|
|
},
|
|
|
|
_ => false,
|
|
|
|
}
|
|
|
|
}
|