after a Ref, only acquire the Deref'd destination

diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs
index d91db41d20d33191a6a60d64013d479619b13044..4edcab738c37562c592386d0cdbc4e1e835bf2bc 100644 (file)
--- a/src/librustc_mir/transform/add_validation.rs
+++ b/src/librustc_mir/transform/add_validation.rs
@@ -184,6 +184,10 @@ fn run_pass<'a, 'tcx>(&self,
                     _ => continue,
                 };
                 // So this is a ref, and we got all the data we wanted.
+                // Do an acquire of the result -- but only what it points to, so add a Deref
+                // projection.
+                let dest_lval = Projection { base: dest_lval, elem: ProjectionElem::Deref };
+                let dest_lval = Lvalue::Projection(Box::new(dest_lval));
                 let acquire_stmt = Statement {
                     source_info: block_data.statements[i].source_info,
                     kind: StatementKind::Validate(ValidationOp::Acquire,