From 280c6fadee1b919763a1f073171880057a325205 Mon Sep 17 00:00:00 2001 From: David Wood Date: Sat, 19 May 2018 15:39:38 +0100 Subject: [PATCH] Remove extra calls to kill_loans_out_of_scope_at_location - keep only before_statement_effect and before_terminator_effect. --- src/librustc_mir/dataflow/impls/borrows.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/librustc_mir/dataflow/impls/borrows.rs b/src/librustc_mir/dataflow/impls/borrows.rs index 098ad8e558fa9..04c62854c5cbd 100644 --- a/src/librustc_mir/dataflow/impls/borrows.rs +++ b/src/librustc_mir/dataflow/impls/borrows.rs @@ -150,8 +150,6 @@ impl<'a, 'gcx, 'tcx> BitDenotation for Borrows<'a, 'gcx, 'tcx> { panic!("could not find statement at location {:?}"); }); - self.kill_loans_out_of_scope_at_location(sets, location); - match stmt.kind { mir::StatementKind::EndRegion(_) => { } @@ -253,9 +251,6 @@ impl<'a, 'gcx, 'tcx> BitDenotation for Borrows<'a, 'gcx, 'tcx> { }); let term = block.terminator(); - self.kill_loans_out_of_scope_at_location(sets, location); - - match term.kind { mir::TerminatorKind::Resume | mir::TerminatorKind::Return |