about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthew Jasper <mjjasper1@gmail.com>2018-12-01 15:04:07 +0000
committerMatthew Jasper <mjjasper1@gmail.com>2018-12-28 23:39:14 +0000
commit2149d73358b648ee7c6f9635a123bb8aa6bb2009 (patch)
tree9e4f476daed36e18fd69dfbcd765b51478fe3bad
parent60e825389db3cb7421afb7015b28cb9436c79bba (diff)
downloadrust-2149d73358b648ee7c6f9635a123bb8aa6bb2009.tar.gz
rust-2149d73358b648ee7c6f9635a123bb8aa6bb2009.zip
Remove unnecessary borrow generation
-rw-r--r--src/librustc_mir/dataflow/impls/borrows.rs14
1 files changed, 0 insertions, 14 deletions
diff --git a/src/librustc_mir/dataflow/impls/borrows.rs b/src/librustc_mir/dataflow/impls/borrows.rs
index 518fbaae627..0ceff4aa048 100644
--- a/src/librustc_mir/dataflow/impls/borrows.rs
+++ b/src/librustc_mir/dataflow/impls/borrows.rs
@@ -279,20 +279,6 @@ impl<'a, 'gcx, 'tcx> BitDenotation<'tcx> for Borrows<'a, 'gcx, 'tcx> {
                     });
 
                     sets.gen(*index);
-
-                    // Issue #46746: Two-phase borrows handles
-                    // stmts of form `Tmp = &mut Borrow` ...
-                    match lhs {
-                        Place::Promoted(_) |
-                        Place::Local(..) | Place::Static(..) => {} // okay
-                        Place::Projection(..) => {
-                            // ... can assign into projections,
-                            // e.g., `box (&mut _)`. Current
-                            // conservative solution: force
-                            // immediate activation here.
-                            sets.gen(*index);
-                        }
-                    }
                 }
             }