-use crate::utils::visitors::LocalUsedVisitor;
-use crate::utils::{higher, qpath_res, snippet, span_lint_and_then};
+use clippy_utils::diagnostics::span_lint_and_then;
+use clippy_utils::source::snippet;
+use clippy_utils::{path_to_local_id, visitors::LocalUsedVisitor};
use if_chain::if_chain;
use rustc_errors::Applicability;
use rustc_hir as hir;
-use rustc_hir::def::Res;
use rustc_hir::BindingAnnotation;
use rustc_lint::{LateContext, LateLintPass};
use rustc_session::{declare_lint_pass, declare_tool_lint};
declare_clippy_lint! {
- /// **What it does:** Checks for variable declarations immediately followed by a
+ /// ### What it does
+ /// Checks for variable declarations immediately followed by a
/// conditional affectation.
///
- /// **Why is this bad?** This is not idiomatic Rust.
+ /// ### Why is this bad?
+ /// This is not idiomatic Rust.
///
- /// **Known problems:** None.
- ///
- /// **Example:**
+ /// ### Example
/// ```rust,ignore
/// let foo;
///
while let Some(stmt) = it.next() {
if_chain! {
if let Some(expr) = it.peek();
- if let hir::StmtKind::Local(ref local) = stmt.kind;
+ if let hir::StmtKind::Local(local) = stmt.kind;
if let hir::PatKind::Binding(mode, canonical_id, ident, None) = local.pat.kind;
- if let hir::StmtKind::Expr(ref if_) = expr.kind;
- if let Some((ref cond, ref then, ref else_)) = higher::if_block(&if_);
- if !LocalUsedVisitor::new(canonical_id).check_expr(cond);
- if let hir::ExprKind::Block(ref then, _) = then.kind;
+ if let hir::StmtKind::Expr(if_) = expr.kind;
+ if let hir::ExprKind::If(hir::Expr { kind: hir::ExprKind::DropTemps(cond), ..}, then, else_) = if_.kind;
+ let mut used_visitor = LocalUsedVisitor::new(cx, canonical_id);
+ if !used_visitor.check_expr(cond);
+ if let hir::ExprKind::Block(then, _) = then.kind;
if let Some(value) = check_assign(cx, canonical_id, &*then);
- if !LocalUsedVisitor::new(canonical_id).check_expr(value);
+ if !used_visitor.check_expr(value);
then {
let span = stmt.span.to(if_.span);
);
if has_interior_mutability { return; }
- let (default_multi_stmts, default) = if let Some(ref else_) = *else_ {
- if let hir::ExprKind::Block(ref else_, _) = else_.kind {
+ let (default_multi_stmts, default) = if let Some(else_) = else_ {
+ if let hir::ExprKind::Block(else_, _) = else_.kind {
if let Some(default) = check_assign(cx, canonical_id, else_) {
(else_.stmts.len() > 1, default)
- } else if let Some(ref default) = local.init {
- (true, &**default)
+ } else if let Some(default) = local.init {
+ (true, default)
} else {
continue;
}
} else {
continue;
}
- } else if let Some(ref default) = local.init {
- (false, &**default)
+ } else if let Some(default) = local.init {
+ (false, default)
} else {
continue;
};
if_chain! {
if block.expr.is_none();
if let Some(expr) = block.stmts.iter().last();
- if let hir::StmtKind::Semi(ref expr) = expr.kind;
- if let hir::ExprKind::Assign(ref var, ref value, _) = expr.kind;
- if let hir::ExprKind::Path(ref qpath) = var.kind;
- if let Res::Local(local_id) = qpath_res(cx, qpath, var.hir_id);
- if decl == local_id;
+ if let hir::StmtKind::Semi(expr) = expr.kind;
+ if let hir::ExprKind::Assign(var, value, _) = expr.kind;
+ if path_to_local_id(var, decl);
then {
- let mut v = LocalUsedVisitor::new(decl);
+ let mut v = LocalUsedVisitor::new(cx, decl);
if block.stmts.iter().take(block.stmts.len()-1).any(|stmt| v.check_stmt(stmt)) {
return None;