2021-09-21 07:54:19 -05:00
|
|
|
use std::iter;
|
|
|
|
|
2021-08-18 09:51:34 -05:00
|
|
|
use clippy_utils::diagnostics::{span_lint_and_help, span_lint_and_sugg};
|
2021-03-25 13:29:11 -05:00
|
|
|
use clippy_utils::source::{snippet, snippet_with_applicability};
|
|
|
|
use clippy_utils::ty::is_type_diagnostic_item;
|
2021-08-18 09:51:34 -05:00
|
|
|
use clippy_utils::{get_parent_expr_for_hir, is_trait_method, strip_pat_refs};
|
2021-03-12 08:30:50 -06:00
|
|
|
use if_chain::if_chain;
|
|
|
|
use rustc_errors::Applicability;
|
|
|
|
use rustc_hir as hir;
|
2021-09-12 04:40:14 -05:00
|
|
|
use rustc_hir::{self, ExprKind, HirId, PatKind};
|
2021-08-09 05:00:35 -05:00
|
|
|
use rustc_infer::infer::TyCtxtInferExt;
|
2021-03-12 08:30:50 -06:00
|
|
|
use rustc_lint::LateContext;
|
2021-08-09 05:00:35 -05:00
|
|
|
use rustc_middle::hir::place::ProjectionKind;
|
2021-08-18 09:51:34 -05:00
|
|
|
use rustc_middle::mir::{FakeReadCause, Mutability};
|
2021-03-12 08:30:50 -06:00
|
|
|
use rustc_middle::ty;
|
2021-08-18 09:51:34 -05:00
|
|
|
use rustc_span::source_map::{BytePos, Span};
|
2021-03-12 08:30:50 -06:00
|
|
|
use rustc_span::symbol::sym;
|
2021-08-09 05:00:35 -05:00
|
|
|
use rustc_typeck::expr_use_visitor::{Delegate, ExprUseVisitor, PlaceBase, PlaceWithHirId};
|
2021-03-12 08:30:50 -06:00
|
|
|
|
|
|
|
use super::SEARCH_IS_SOME;
|
|
|
|
|
|
|
|
/// lint searching an Iterator followed by `is_some()`
|
2021-03-25 13:29:11 -05:00
|
|
|
/// or calling `find()` on a string followed by `is_some()` or `is_none()`
|
2021-04-08 10:50:13 -05:00
|
|
|
#[allow(clippy::too_many_arguments, clippy::too_many_lines)]
|
2021-03-12 08:30:50 -06:00
|
|
|
pub(super) fn check<'tcx>(
|
2021-04-08 10:50:13 -05:00
|
|
|
cx: &LateContext<'_>,
|
2021-03-12 08:30:50 -06:00
|
|
|
expr: &'tcx hir::Expr<'_>,
|
|
|
|
search_method: &str,
|
2021-04-08 10:50:13 -05:00
|
|
|
is_some: bool,
|
|
|
|
search_recv: &hir::Expr<'_>,
|
|
|
|
search_arg: &'tcx hir::Expr<'_>,
|
|
|
|
is_some_recv: &hir::Expr<'_>,
|
2021-03-12 08:30:50 -06:00
|
|
|
method_span: Span,
|
|
|
|
) {
|
2021-04-08 10:50:13 -05:00
|
|
|
let option_check_method = if is_some { "is_some" } else { "is_none" };
|
2021-03-12 08:30:50 -06:00
|
|
|
// lint if caller of search is an Iterator
|
2021-04-08 10:50:13 -05:00
|
|
|
if is_trait_method(cx, is_some_recv, sym::Iterator) {
|
2021-03-12 08:30:50 -06:00
|
|
|
let msg = format!(
|
2021-03-25 13:29:11 -05:00
|
|
|
"called `{}()` after searching an `Iterator` with `{}`",
|
|
|
|
option_check_method, search_method
|
2021-03-12 08:30:50 -06:00
|
|
|
);
|
2021-04-08 10:50:13 -05:00
|
|
|
let search_snippet = snippet(cx, search_arg.span, "..");
|
2021-03-12 08:30:50 -06:00
|
|
|
if search_snippet.lines().count() <= 1 {
|
|
|
|
// suggest `any(|x| ..)` instead of `any(|&x| ..)` for `find(|&x| ..).is_some()`
|
|
|
|
// suggest `any(|..| *..)` instead of `any(|..| **..)` for `find(|..| **..).is_some()`
|
2021-09-07 05:31:14 -05:00
|
|
|
let mut applicability = Applicability::MachineApplicable;
|
2021-03-12 08:30:50 -06:00
|
|
|
let any_search_snippet = if_chain! {
|
|
|
|
if search_method == "find";
|
2021-04-08 10:50:13 -05:00
|
|
|
if let hir::ExprKind::Closure(_, _, body_id, ..) = search_arg.kind;
|
2021-03-12 08:30:50 -06:00
|
|
|
let closure_body = cx.tcx.hir().body(body_id);
|
|
|
|
if let Some(closure_arg) = closure_body.params.get(0);
|
|
|
|
then {
|
|
|
|
if let hir::PatKind::Ref(..) = closure_arg.pat.kind {
|
2021-08-18 09:51:34 -05:00
|
|
|
Some(search_snippet.replacen('&', "", 1))
|
2021-09-14 07:53:28 -05:00
|
|
|
} else if let PatKind::Binding(_, binding_id, _, _) = strip_pat_refs(closure_arg.pat).kind {
|
|
|
|
// this binding is composed of at least two levels of references, so we need to remove one
|
|
|
|
let binding_type = cx.typeck_results().node_type(binding_id);
|
|
|
|
let innermost_is_ref = if let ty::Ref(_, inner,_) = binding_type.kind() {
|
|
|
|
matches!(inner.kind(), ty::Ref(_, innermost, _) if innermost.is_ref())
|
|
|
|
} else {
|
|
|
|
false
|
|
|
|
};
|
|
|
|
|
2021-08-19 04:50:05 -05:00
|
|
|
// `find()` provides a reference to the item, but `any` does not,
|
|
|
|
// so we should fix item usages for suggestion
|
2021-09-07 05:31:14 -05:00
|
|
|
if let Some(closure_sugg) = get_closure_suggestion(cx, search_arg, closure_body) {
|
|
|
|
applicability = closure_sugg.applicability;
|
2021-09-14 07:53:28 -05:00
|
|
|
if innermost_is_ref {
|
|
|
|
Some(closure_sugg.suggestion.replacen('&', "", 1))
|
|
|
|
} else {
|
|
|
|
Some(closure_sugg.suggestion)
|
|
|
|
}
|
|
|
|
} else if innermost_is_ref {
|
|
|
|
Some(search_snippet.replacen('&', "", 1))
|
2021-09-07 05:31:14 -05:00
|
|
|
} else {
|
|
|
|
Some(search_snippet.to_string())
|
|
|
|
}
|
2021-03-12 08:30:50 -06:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
};
|
|
|
|
// add note if not multi-line
|
2021-08-18 09:51:34 -05:00
|
|
|
if is_some {
|
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
SEARCH_IS_SOME,
|
2021-04-08 10:50:13 -05:00
|
|
|
method_span.with_hi(expr.span.hi()),
|
2021-08-18 09:51:34 -05:00
|
|
|
&msg,
|
2021-04-08 10:50:13 -05:00
|
|
|
"use `any()` instead",
|
2021-08-18 09:51:34 -05:00
|
|
|
format!(
|
|
|
|
"any({})",
|
|
|
|
any_search_snippet.as_ref().map_or(&*search_snippet, String::as_str)
|
|
|
|
),
|
2021-09-07 05:31:14 -05:00
|
|
|
applicability,
|
2021-08-18 09:51:34 -05:00
|
|
|
);
|
2021-04-08 10:50:13 -05:00
|
|
|
} else {
|
|
|
|
let iter = snippet(cx, search_recv.span, "..");
|
2021-08-18 09:51:34 -05:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
SEARCH_IS_SOME,
|
2021-04-08 10:50:13 -05:00
|
|
|
expr.span,
|
2021-08-18 09:51:34 -05:00
|
|
|
&msg,
|
2021-04-08 10:50:13 -05:00
|
|
|
"use `!_.any()` instead",
|
2021-08-18 09:51:34 -05:00
|
|
|
format!(
|
|
|
|
"!{}.any({})",
|
|
|
|
iter,
|
|
|
|
any_search_snippet.as_ref().map_or(&*search_snippet, String::as_str)
|
|
|
|
),
|
2021-09-07 05:31:14 -05:00
|
|
|
applicability,
|
2021-08-18 09:51:34 -05:00
|
|
|
);
|
|
|
|
}
|
2021-03-12 08:30:50 -06:00
|
|
|
} else {
|
2021-03-25 13:29:11 -05:00
|
|
|
let hint = format!(
|
|
|
|
"this is more succinctly expressed by calling `any()`{}",
|
|
|
|
if option_check_method == "is_none" {
|
|
|
|
" with negation"
|
|
|
|
} else {
|
|
|
|
""
|
|
|
|
}
|
|
|
|
);
|
|
|
|
span_lint_and_help(cx, SEARCH_IS_SOME, expr.span, &msg, None, &hint);
|
2021-03-12 08:30:50 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
// lint if `find()` is called by `String` or `&str`
|
|
|
|
else if search_method == "find" {
|
|
|
|
let is_string_or_str_slice = |e| {
|
|
|
|
let self_ty = cx.typeck_results().expr_ty(e).peel_refs();
|
2021-10-02 18:51:01 -05:00
|
|
|
if is_type_diagnostic_item(cx, self_ty, sym::String) {
|
2021-03-12 08:30:50 -06:00
|
|
|
true
|
|
|
|
} else {
|
|
|
|
*self_ty.kind() == ty::Str
|
|
|
|
}
|
|
|
|
};
|
|
|
|
if_chain! {
|
2021-04-08 10:50:13 -05:00
|
|
|
if is_string_or_str_slice(search_recv);
|
|
|
|
if is_string_or_str_slice(search_arg);
|
2021-03-12 08:30:50 -06:00
|
|
|
then {
|
2021-03-25 13:29:11 -05:00
|
|
|
let msg = format!("called `{}()` after calling `find()` on a string", option_check_method);
|
|
|
|
match option_check_method {
|
|
|
|
"is_some" => {
|
|
|
|
let mut applicability = Applicability::MachineApplicable;
|
2021-04-08 10:50:13 -05:00
|
|
|
let find_arg = snippet_with_applicability(cx, search_arg.span, "..", &mut applicability);
|
2021-03-25 13:29:11 -05:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
SEARCH_IS_SOME,
|
|
|
|
method_span.with_hi(expr.span.hi()),
|
|
|
|
&msg,
|
|
|
|
"use `contains()` instead",
|
|
|
|
format!("contains({})", find_arg),
|
|
|
|
applicability,
|
|
|
|
);
|
|
|
|
},
|
|
|
|
"is_none" => {
|
2021-04-08 10:50:13 -05:00
|
|
|
let string = snippet(cx, search_recv.span, "..");
|
2021-03-25 13:29:11 -05:00
|
|
|
let mut applicability = Applicability::MachineApplicable;
|
2021-04-08 10:50:13 -05:00
|
|
|
let find_arg = snippet_with_applicability(cx, search_arg.span, "..", &mut applicability);
|
2021-03-25 13:29:11 -05:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
SEARCH_IS_SOME,
|
|
|
|
expr.span,
|
|
|
|
&msg,
|
|
|
|
"use `!_.contains()` instead",
|
|
|
|
format!("!{}.contains({})", string, find_arg),
|
|
|
|
applicability,
|
|
|
|
);
|
|
|
|
},
|
|
|
|
_ => (),
|
|
|
|
}
|
2021-03-12 08:30:50 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-08-09 05:00:35 -05:00
|
|
|
|
2021-09-07 05:31:14 -05:00
|
|
|
struct ClosureSugg {
|
|
|
|
applicability: Applicability,
|
|
|
|
suggestion: String,
|
|
|
|
}
|
|
|
|
|
2021-08-19 04:50:05 -05:00
|
|
|
// Build suggestion gradually by handling closure arg specific usages,
|
|
|
|
// such as explicit deref and borrowing cases.
|
|
|
|
// Returns `None` if no such use cases have been triggered in closure body
|
2021-08-18 09:51:34 -05:00
|
|
|
fn get_closure_suggestion<'tcx>(
|
|
|
|
cx: &LateContext<'_>,
|
|
|
|
search_arg: &'tcx hir::Expr<'_>,
|
|
|
|
closure_body: &hir::Body<'_>,
|
2021-09-07 05:31:14 -05:00
|
|
|
) -> Option<ClosureSugg> {
|
2021-08-18 09:51:34 -05:00
|
|
|
let mut visitor = DerefDelegate {
|
|
|
|
cx,
|
|
|
|
closure_span: search_arg.span,
|
2021-09-07 04:18:27 -05:00
|
|
|
next_pos: search_arg.span.lo(),
|
2021-08-18 09:51:34 -05:00
|
|
|
suggestion_start: String::new(),
|
2021-09-07 04:06:50 -05:00
|
|
|
applicability: Applicability::MachineApplicable,
|
2021-08-18 09:51:34 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
let fn_def_id = cx.tcx.hir().local_def_id(search_arg.hir_id);
|
|
|
|
cx.tcx.infer_ctxt().enter(|infcx| {
|
|
|
|
ExprUseVisitor::new(&mut visitor, &infcx, fn_def_id, cx.param_env, cx.typeck_results())
|
|
|
|
.consume_body(closure_body);
|
|
|
|
});
|
|
|
|
|
|
|
|
if visitor.suggestion_start.is_empty() {
|
|
|
|
None
|
|
|
|
} else {
|
2021-09-07 05:31:14 -05:00
|
|
|
Some(ClosureSugg {
|
|
|
|
applicability: visitor.applicability,
|
|
|
|
suggestion: visitor.finish(),
|
|
|
|
})
|
2021-08-18 09:51:34 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-08-09 05:00:35 -05:00
|
|
|
struct DerefDelegate<'a, 'tcx> {
|
|
|
|
cx: &'a LateContext<'tcx>,
|
2021-08-18 09:51:34 -05:00
|
|
|
closure_span: Span,
|
2021-09-07 04:18:27 -05:00
|
|
|
next_pos: BytePos,
|
2021-08-18 09:51:34 -05:00
|
|
|
suggestion_start: String,
|
2021-09-07 04:06:50 -05:00
|
|
|
applicability: Applicability,
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
|
|
|
|
2021-09-07 04:59:53 -05:00
|
|
|
impl DerefDelegate<'_, 'tcx> {
|
|
|
|
pub fn finish(&mut self) -> String {
|
2021-10-01 10:29:37 -05:00
|
|
|
let end_span = Span::new(self.next_pos, self.closure_span.hi(), self.closure_span.ctxt(), None);
|
2021-09-07 04:59:53 -05:00
|
|
|
let end_snip = snippet_with_applicability(self.cx, end_span, "..", &mut self.applicability);
|
|
|
|
format!("{}{}", self.suggestion_start, end_snip)
|
|
|
|
}
|
2021-09-21 07:54:19 -05:00
|
|
|
|
|
|
|
fn func_takes_arg_by_ref(&self, parent_expr: &'tcx hir::Expr<'_>, cmt_hir_id: HirId) -> bool {
|
2021-10-01 09:57:57 -05:00
|
|
|
let (call_args, inputs) = match parent_expr.kind {
|
|
|
|
ExprKind::MethodCall(_, _, call_args, _) => {
|
|
|
|
if let Some(method_did) = self.cx.typeck_results().type_dependent_def_id(parent_expr.hir_id) {
|
|
|
|
(call_args, self.cx.tcx.fn_sig(method_did).skip_binder().inputs())
|
|
|
|
} else {
|
|
|
|
return false;
|
2021-09-21 07:54:19 -05:00
|
|
|
}
|
2021-10-01 09:57:57 -05:00
|
|
|
},
|
|
|
|
ExprKind::Call(func, call_args) => {
|
|
|
|
let typ = self.cx.typeck_results().expr_ty(func);
|
|
|
|
(call_args, typ.fn_sig(self.cx.tcx).skip_binder().inputs())
|
|
|
|
},
|
|
|
|
_ => return false,
|
|
|
|
};
|
|
|
|
|
|
|
|
iter::zip(call_args, inputs)
|
|
|
|
.any(|(arg, ty)| arg.hir_id == cmt_hir_id && matches!(ty.kind(), ty::Ref(_, inner, _) if inner.is_ref()))
|
2021-09-21 07:54:19 -05:00
|
|
|
}
|
2021-09-07 04:59:53 -05:00
|
|
|
}
|
|
|
|
|
2021-08-09 05:00:35 -05:00
|
|
|
impl<'tcx> Delegate<'tcx> for DerefDelegate<'_, 'tcx> {
|
2021-08-18 09:51:34 -05:00
|
|
|
fn consume(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
|
|
|
|
|
|
|
fn borrow(&mut self, cmt: &PlaceWithHirId<'tcx>, _: HirId, _: ty::BorrowKind) {
|
2021-08-09 05:00:35 -05:00
|
|
|
if let PlaceBase::Local(id) = cmt.place.base {
|
|
|
|
let map = self.cx.tcx.hir();
|
2021-08-18 09:51:34 -05:00
|
|
|
let ident_str = map.name(id).to_string();
|
|
|
|
let span = map.span(cmt.hir_id);
|
2021-10-01 10:29:37 -05:00
|
|
|
let start_span = Span::new(self.next_pos, span.lo(), span.ctxt(), None);
|
2021-09-12 04:31:11 -05:00
|
|
|
let mut start_snip = snippet_with_applicability(self.cx, start_span, "..", &mut self.applicability);
|
2021-08-09 05:00:35 -05:00
|
|
|
|
2021-08-18 09:51:34 -05:00
|
|
|
if cmt.place.projections.is_empty() {
|
2021-08-19 04:50:05 -05:00
|
|
|
// handle item without any projection, that needs an explicit borrowing
|
|
|
|
// i.e.: suggest `&x` instead of `x`
|
2021-08-18 09:51:34 -05:00
|
|
|
self.suggestion_start.push_str(&format!("{}&{}", start_snip, ident_str));
|
|
|
|
} else {
|
2021-10-01 10:29:37 -05:00
|
|
|
// cases where a parent `Call` or `MethodCall` is using the item
|
2021-08-19 04:50:05 -05:00
|
|
|
// i.e.: suggest `.contains(&x)` for `.find(|x| [1, 2, 3].contains(x)).is_none()`
|
2021-10-01 10:29:37 -05:00
|
|
|
//
|
|
|
|
// Note about method calls:
|
|
|
|
// - compiler automatically dereference references if the target type is a reference (works also for
|
|
|
|
// function call)
|
|
|
|
// - `self` arguments in the case of `x.is_something()` are also automatically (de)referenced, and
|
|
|
|
// no projection should be suggested
|
2021-09-12 04:40:14 -05:00
|
|
|
if let Some(parent_expr) = get_parent_expr_for_hir(self.cx, cmt.hir_id) {
|
2021-09-14 07:53:28 -05:00
|
|
|
if let ExprKind::Call(_, call_args) | ExprKind::MethodCall(_, _, call_args, _) = parent_expr.kind {
|
2021-09-12 04:40:14 -05:00
|
|
|
let expr = self.cx.tcx.hir().expect_expr(cmt.hir_id);
|
|
|
|
let arg_ty_kind = self.cx.typeck_results().expr_ty(expr).kind();
|
2021-08-09 05:00:35 -05:00
|
|
|
|
2021-09-12 04:40:14 -05:00
|
|
|
if matches!(arg_ty_kind, ty::Ref(_, _, Mutability::Not)) {
|
2021-09-21 07:54:19 -05:00
|
|
|
// suggest ampersand if call function is taking args by ref
|
|
|
|
let takes_arg_by_ref = self.func_takes_arg_by_ref(parent_expr, cmt.hir_id);
|
|
|
|
|
2021-09-14 07:53:28 -05:00
|
|
|
// do not suggest ampersand if the ident is the method caller
|
2021-09-21 07:54:19 -05:00
|
|
|
let ident_sugg =
|
|
|
|
if !call_args.is_empty() && call_args[0].hir_id == cmt.hir_id && !takes_arg_by_ref {
|
|
|
|
format!("{}{}", start_snip, ident_str)
|
|
|
|
} else {
|
|
|
|
format!("{}&{}", start_snip, ident_str)
|
|
|
|
};
|
2021-09-14 07:53:28 -05:00
|
|
|
self.suggestion_start.push_str(&ident_sugg);
|
2021-09-12 04:40:14 -05:00
|
|
|
self.next_pos = span.hi();
|
2021-09-19 01:08:54 -05:00
|
|
|
return;
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
2021-09-21 07:54:19 -05:00
|
|
|
|
|
|
|
self.applicability = Applicability::Unspecified;
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-08-18 09:51:34 -05:00
|
|
|
let mut replacement_str = ident_str;
|
2021-09-21 07:54:19 -05:00
|
|
|
let mut projections_handled = false;
|
|
|
|
cmt.place.projections.iter().enumerate().for_each(|(i, proj)| {
|
2021-09-12 04:31:11 -05:00
|
|
|
match proj.kind {
|
|
|
|
// Field projection like `|v| v.foo`
|
2021-10-01 09:57:57 -05:00
|
|
|
// no adjustment needed here, as field projections are handled by the compiler
|
2021-09-12 04:31:11 -05:00
|
|
|
ProjectionKind::Field(idx, variant) => match cmt.place.ty_before_projection(i).kind() {
|
|
|
|
ty::Adt(def, ..) => {
|
|
|
|
replacement_str = format!(
|
|
|
|
"{}.{}",
|
|
|
|
replacement_str,
|
|
|
|
def.variants[variant].fields[idx as usize].ident.name.as_str()
|
|
|
|
);
|
2021-09-21 07:54:19 -05:00
|
|
|
projections_handled = true;
|
2021-09-12 04:31:11 -05:00
|
|
|
},
|
|
|
|
ty::Tuple(_) => {
|
|
|
|
replacement_str = format!("{}.{}", replacement_str, idx);
|
2021-09-21 07:54:19 -05:00
|
|
|
projections_handled = true;
|
2021-09-12 04:31:11 -05:00
|
|
|
},
|
2021-09-21 07:54:19 -05:00
|
|
|
_ => (),
|
|
|
|
},
|
|
|
|
// Index projection like `|x| foo[x]`
|
|
|
|
// the index is dropped so we can't get it to build the suggestion,
|
|
|
|
// so the span is set-up again to get more code, using `span.hi()` (i.e.: `foo[x]`)
|
|
|
|
// instead of `span.lo()` (i.e.: `foo`)
|
|
|
|
ProjectionKind::Index => {
|
2021-10-01 10:29:37 -05:00
|
|
|
let start_span = Span::new(self.next_pos, span.hi(), span.ctxt(), None);
|
2021-09-21 07:54:19 -05:00
|
|
|
start_snip = snippet_with_applicability(self.cx, start_span, "..", &mut self.applicability);
|
|
|
|
replacement_str.clear();
|
|
|
|
projections_handled = true;
|
2021-09-12 04:31:11 -05:00
|
|
|
},
|
2021-09-21 07:54:19 -05:00
|
|
|
// note: unable to trigger `Subslice` kind in tests
|
|
|
|
ProjectionKind::Subslice => (),
|
2021-09-12 04:31:11 -05:00
|
|
|
ProjectionKind::Deref => {
|
|
|
|
// explicit deref for arrays should be avoided in the suggestion
|
|
|
|
// i.e.: `|sub| *sub[1..4].len() == 3` is not expected
|
2021-09-21 07:54:19 -05:00
|
|
|
if let ty::Ref(_, inner, _) = cmt.place.ty_before_projection(i).kind() {
|
2021-09-12 04:31:11 -05:00
|
|
|
// dereferencing an array (i.e.: `|sub| sub[1..4].len() == 3`)
|
2021-09-21 07:54:19 -05:00
|
|
|
if matches!(inner.kind(), ty::Ref(_, innermost, _) if innermost.is_array()) {
|
|
|
|
projections_handled = true;
|
|
|
|
}
|
2021-09-12 04:31:11 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
}
|
|
|
|
});
|
2021-08-09 05:00:35 -05:00
|
|
|
|
2021-10-01 09:57:57 -05:00
|
|
|
// handle `ProjectionKind::Deref` by removing one explicit deref
|
|
|
|
// if no special case was detected (i.e.: suggest `*x` instead of `**x`)
|
2021-09-21 07:54:19 -05:00
|
|
|
if !projections_handled {
|
2021-09-12 04:31:11 -05:00
|
|
|
let last_deref = cmt
|
|
|
|
.place
|
|
|
|
.projections
|
|
|
|
.iter()
|
|
|
|
.rposition(|proj| proj.kind == ProjectionKind::Deref);
|
|
|
|
|
|
|
|
if let Some(pos) = last_deref {
|
|
|
|
let mut projections = cmt.place.projections.clone();
|
|
|
|
projections.truncate(pos);
|
|
|
|
|
|
|
|
for item in projections {
|
|
|
|
if item.kind == ProjectionKind::Deref {
|
|
|
|
replacement_str = format!("*{}", replacement_str);
|
|
|
|
}
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2021-08-18 09:51:34 -05:00
|
|
|
|
|
|
|
self.suggestion_start
|
|
|
|
.push_str(&format!("{}{}", start_snip, replacement_str));
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
2021-09-07 04:18:27 -05:00
|
|
|
self.next_pos = span.hi();
|
2021-08-09 05:00:35 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mutate(&mut self, _: &PlaceWithHirId<'tcx>, _: HirId) {}
|
|
|
|
|
|
|
|
fn fake_read(&mut self, _: rustc_typeck::expr_use_visitor::Place<'tcx>, _: FakeReadCause, _: HirId) {}
|
|
|
|
}
|