diff --git a/src/librustc/middle/liveness.rs b/src/librustc/middle/liveness.rs index 9bb19bb37d8e419198f9d0d61a4a4c543378ddc7..7eb8f7c9806ff1ded9ae64a029765e8037572909 100644 --- a/src/librustc/middle/liveness.rs +++ b/src/librustc/middle/liveness.rs @@ -1399,9 +1399,8 @@ fn check_arm(this: &mut Liveness, arm: &hir::Arm) { fn check_expr(this: &mut Liveness, expr: &Expr) { match expr.node { - hir::ExprAssign(ref l, ref r) => { + hir::ExprAssign(ref l, _) => { this.check_lvalue(&**l); - this.visit_expr(&**r); visit::walk_expr(this, expr); } diff --git a/src/test/compile-fail/issue-22599.rs b/src/test/compile-fail/issue-22599.rs new file mode 100644 index 0000000000000000000000000000000000000000..b9ea358329677f0338d9f42fd6cc25fee60af158 --- /dev/null +++ b/src/test/compile-fail/issue-22599.rs @@ -0,0 +1,20 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![deny(unused_variables)] + +fn f(_: i32) {} + +fn main() { + let mut v = 0; + f(v); + v = match 0 { a => 0 }; //~ ERROR: unused variable: `a` + f(v); +}