Ensure that we don't skip the last statement.

diff --git a/src/librustc_mir/dataflow/impls/borrows.rs b/src/librustc_mir/dataflow/impls/borrows.rs
index 7018ab345db4357618c0348eba8b5604a49711f0..ed111c994f41a52495b4d608cfacf1817e56fc0f 100644 (file)
--- a/src/librustc_mir/dataflow/impls/borrows.rs
+++ b/src/librustc_mir/dataflow/impls/borrows.rs
@@ -70,9 +70,9 @@ fn precompute_borrows_out_of_scope<'a, 'tcx>(
     }
 
     let bb_data = &mir[location.block];
-    // If we are on the last statement, then check the terminator
+    // If we are past the last statement, then check the terminator
     // to determine which location to proceed to.
-    if location.statement_index == bb_data.statements.len() - 1 {
+    if location.statement_index == bb_data.statements.len() {
         if let Some(ref terminator) = bb_data.terminator {
             match terminator.kind {
                 TerminatorKind::Goto { target } |