---

yaml
---
r: 228853
b: refs/heads/try
c: e25427a
h: refs/heads/master
i:
  228851: add11c2
v: v3

Author: pnkfelix

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: dce1c61e977deed5e0a499f4247d5da870809692
+refs/heads/try: e25427a2b287a7e9e4f7fcc72ca3c341e61c1a7d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/librustc_trans/trans/expr.rs

@@ -1004,22 +1004,22 @@ fn trans_rvalue_stmt_unadjusted<'blk, 'tcx>(bcx: Block<'blk, 'tcx>,
                 debuginfo::set_source_location(bcx.fcx, expr.id, expr.span);
                 let src_datum = unpack_datum!(
                     bcx, src_datum.to_rvalue_datum(bcx, "ExprAssign"));
-                if let Some(hint_datum) = dst_datum.kind.drop_flag_info.hint_datum(bcx) {
-                    let hint_val = hint_datum.to_value();
-                    // XXX the checkpointed branch only does the
-                    // drop_ty call within this branch (and I claim
-                    // that seems like a bug). At this point I have
-                    // moved it into the branch solely to see if it
-                    // makes my plague of bugs go away.
-                    bcx = glue::drop_ty_core(bcx,
-                                             dst_datum.val,
-                                             dst_datum.ty,
-                                             expr.debug_loc(),
-                                             false,
-                                             Some(hint_val));
-                    // We are initializing or overwriting the
-                    // destination, so we need to write "drop needed"
-                    // into the hint.
+                let opt_hint_datum = dst_datum.kind.drop_flag_info.hint_datum(bcx);
+                let opt_hint_val = opt_hint_datum.map(|d|d.to_value());
+
+                // 1. Drop the data at the destination, passing the
+                //    drop-hint in case the lvalue has already been
+                //    dropped or moved.
+                bcx = glue::drop_ty_core(bcx,
+                                         dst_datum.val,
+                                         dst_datum.ty,
+                                         expr.debug_loc(),
+                                         false,
+                                         opt_hint_val);
+
+                // 2. We are overwriting the destination; ensure that
+                //    its drop-hint (if any) says "initialized."
+                if let Some(hint_val) = opt_hint_val {
                     let hint_llval = hint_val.value();
                     let drop_needed = C_u8(bcx.fcx.ccx, adt::DTOR_NEEDED_HINT as usize);
                     Store(bcx, drop_needed, hint_llval);