2020-10-12 21:58:59 +00:00
|
|
|
use crate::utils::{last_path_segment, match_def_path, paths, snippet, span_lint_and_sugg};
|
2020-10-13 20:46:47 +00:00
|
|
|
use rustc_hir::{GenericArg, Mutability, Ty, TyKind};
|
2020-10-12 21:58:59 +00:00
|
|
|
use rustc_lint::{LateContext, LateLintPass};
|
|
|
|
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
|
|
|
|
|
|
|
use if_chain::if_chain;
|
|
|
|
use rustc_errors::Applicability;
|
|
|
|
|
|
|
|
declare_clippy_lint! {
|
|
|
|
/// **What it does:** Checks for usage of `&Option<&T>`.
|
|
|
|
///
|
|
|
|
/// **Why is this bad?** Since `&` is Copy, it's useless to have a
|
|
|
|
/// reference on `Option<&T>`.
|
|
|
|
///
|
|
|
|
/// **Known problems:** None.
|
|
|
|
///
|
|
|
|
/// **Example:**
|
|
|
|
///
|
|
|
|
/// ```rust,ignore
|
|
|
|
/// let x: &Option<&u32> = &Some(&0u32);
|
|
|
|
/// ```
|
|
|
|
/// Use instead:
|
|
|
|
/// ```rust,ignore
|
|
|
|
/// let x: Option<&u32> = Some(&0u32);
|
|
|
|
/// ```
|
|
|
|
pub REF_OPTION_REF,
|
|
|
|
style,
|
|
|
|
"use `Option<&T>` instead of `&Option<&T>`"
|
|
|
|
}
|
|
|
|
|
|
|
|
declare_lint_pass!(RefOptionRef => [REF_OPTION_REF]);
|
|
|
|
|
|
|
|
impl<'tcx> LateLintPass<'tcx> for RefOptionRef {
|
2020-10-13 20:13:54 +00:00
|
|
|
fn check_ty(&mut self, cx: &LateContext<'tcx>, ty: &'tcx Ty<'tcx>) {
|
2020-10-12 21:58:59 +00:00
|
|
|
if_chain! {
|
|
|
|
if let TyKind::Rptr(_, ref mut_ty) = ty.kind;
|
|
|
|
if mut_ty.mutbl == Mutability::Not;
|
2020-10-13 20:13:54 +00:00
|
|
|
if let TyKind::Path(ref qpath) = &mut_ty.ty.kind;
|
|
|
|
let last = last_path_segment(qpath);
|
|
|
|
if let Some(res) = last.res;
|
|
|
|
if let Some(def_id) = res.opt_def_id();
|
|
|
|
|
2020-10-19 19:38:36 +00:00
|
|
|
if cx.tcx.is_diagnostic_item(sym!(option_type), def_id);
|
2020-10-12 21:58:59 +00:00
|
|
|
if let Some(ref params) = last_path_segment(qpath).args ;
|
|
|
|
if !params.parenthesized;
|
|
|
|
if let Some(inner_ty) = params.args.iter().find_map(|arg| match arg {
|
|
|
|
GenericArg::Type(inner_ty) => Some(inner_ty),
|
|
|
|
_ => None,
|
|
|
|
});
|
|
|
|
if let TyKind::Rptr(_, _) = inner_ty.kind;
|
|
|
|
|
|
|
|
then {
|
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
REF_OPTION_REF,
|
|
|
|
ty.span,
|
|
|
|
"since & implements Copy trait, &Option<&T> can be simplifyied into Option<&T>",
|
|
|
|
"try",
|
|
|
|
format!("Option<{}>", &snippet(cx, inner_ty.span, "..")),
|
2020-10-13 12:16:33 +00:00
|
|
|
Applicability::Unspecified,
|
2020-10-12 21:58:59 +00:00
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2020-10-13 20:13:54 +00:00
|
|
|
}
|