Hex Artifact Content
Not logged in

Artifact f4653e0ed10d7d7611045b91a4754dc7c83d608f:


0000: 75 73 65 20 72 75 73 74 63 3a 3a 6d 69 72 3a 3a  use rustc::mir::
0010: 7b 73 65 6c 66 2c 20 42 6f 64 79 2c 20 4c 6f 63  {self, Body, Loc
0020: 61 74 69 6f 6e 7d 3b 0a 75 73 65 20 72 75 73 74  ation};.use rust
0030: 63 3a 3a 74 79 3a 3a 7b 73 65 6c 66 2c 20 54 79  c::ty::{self, Ty
0040: 43 74 78 74 7d 3b 0a 75 73 65 20 63 72 61 74 65  Ctxt};.use crate
0050: 3a 3a 75 74 69 6c 3a 3a 65 6c 61 62 6f 72 61 74  ::util::elaborat
0060: 65 5f 64 72 6f 70 73 3a 3a 44 72 6f 70 46 6c 61  e_drops::DropFla
0070: 67 53 74 61 74 65 3b 0a 0a 75 73 65 20 73 75 70  gState;..use sup
0080: 65 72 3a 3a 7b 4d 6f 76 65 44 61 74 61 50 61 72  er::{MoveDataPar
0090: 61 6d 45 6e 76 7d 3b 0a 75 73 65 20 73 75 70 65  amEnv};.use supe
00a0: 72 3a 3a 69 6e 64 65 78 65 73 3a 3a 4d 6f 76 65  r::indexes::Move
00b0: 50 61 74 68 49 6e 64 65 78 3b 0a 75 73 65 20 73  PathIndex;.use s
00c0: 75 70 65 72 3a 3a 6d 6f 76 65 5f 70 61 74 68 73  uper::move_paths
00d0: 3a 3a 7b 4d 6f 76 65 44 61 74 61 2c 20 4c 6f 6f  ::{MoveData, Loo
00e0: 6b 75 70 52 65 73 75 6c 74 2c 20 49 6e 69 74 4b  kupResult, InitK
00f0: 69 6e 64 7d 3b 0a 0a 70 75 62 20 66 6e 20 6d 6f  ind};..pub fn mo
0100: 76 65 5f 70 61 74 68 5f 63 68 69 6c 64 72 65 6e  ve_path_children
0110: 5f 6d 61 74 63 68 69 6e 67 3c 27 74 63 78 2c 20  _matching<'tcx, 
0120: 46 3e 28 6d 6f 76 65 5f 64 61 74 61 3a 20 26 4d  F>(move_data: &M
0130: 6f 76 65 44 61 74 61 3c 27 74 63 78 3e 2c 0a 20  oveData<'tcx>,. 
0140: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0150: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0160: 20 20 20 20 20 20 20 70 61 74 68 3a 20 4d 6f 76         path: Mov
0170: 65 50 61 74 68 49 6e 64 65 78 2c 0a 20 20 20 20  ePathIndex,.    
0180: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0190: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
01a0: 20 20 20 20 6d 75 74 20 63 6f 6e 64 3a 20 46 29      mut cond: F)
01b0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
01c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
01d0: 20 20 20 20 20 20 20 20 20 2d 3e 20 4f 70 74 69           -> Opti
01e0: 6f 6e 3c 4d 6f 76 65 50 61 74 68 49 6e 64 65 78  on<MovePathIndex
01f0: 3e 0a 20 20 20 20 77 68 65 72 65 20 46 3a 20 46  >.    where F: F
0200: 6e 4d 75 74 28 26 6d 69 72 3a 3a 50 6c 61 63 65  nMut(&mir::Place
0210: 45 6c 65 6d 3c 27 74 63 78 3e 29 20 2d 3e 20 62  Elem<'tcx>) -> b
0220: 6f 6f 6c 0a 7b 0a 20 20 20 20 6c 65 74 20 6d 75  ool.{.    let mu
0230: 74 20 6e 65 78 74 5f 63 68 69 6c 64 20 3d 20 6d  t next_child = m
0240: 6f 76 65 5f 64 61 74 61 2e 6d 6f 76 65 5f 70 61  ove_data.move_pa
0250: 74 68 73 5b 70 61 74 68 5d 2e 66 69 72 73 74 5f  ths[path].first_
0260: 63 68 69 6c 64 3b 0a 20 20 20 20 77 68 69 6c 65  child;.    while
0270: 20 6c 65 74 20 53 6f 6d 65 28 63 68 69 6c 64 5f   let Some(child_
0280: 69 6e 64 65 78 29 20 3d 20 6e 65 78 74 5f 63 68  index) = next_ch
0290: 69 6c 64 20 7b 0a 20 20 20 20 20 20 20 20 6c 65  ild {.        le
02a0: 74 20 6d 6f 76 65 5f 70 61 74 68 5f 63 68 69 6c  t move_path_chil
02b0: 64 72 65 6e 20 3d 20 26 6d 6f 76 65 5f 64 61 74  dren = &move_dat
02c0: 61 2e 6d 6f 76 65 5f 70 61 74 68 73 5b 63 68 69  a.move_paths[chi
02d0: 6c 64 5f 69 6e 64 65 78 5d 3b 0a 20 20 20 20 20  ld_index];.     
02e0: 20 20 20 69 66 20 6c 65 74 20 53 6f 6d 65 28 65     if let Some(e
02f0: 6c 65 6d 29 20 3d 20 6d 6f 76 65 5f 70 61 74 68  lem) = move_path
0300: 5f 63 68 69 6c 64 72 65 6e 2e 70 6c 61 63 65 2e  _children.place.
0310: 70 72 6f 6a 65 63 74 69 6f 6e 2e 6c 61 73 74 28  projection.last(
0320: 29 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  ) {.            
0330: 69 66 20 63 6f 6e 64 28 65 6c 65 6d 29 20 7b 0a  if cond(elem) {.
0340: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0350: 72 65 74 75 72 6e 20 53 6f 6d 65 28 63 68 69 6c  return Some(chil
0360: 64 5f 69 6e 64 65 78 29 0a 20 20 20 20 20 20 20  d_index).       
0370: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 20 20 7d       }.        }
0380: 0a 20 20 20 20 20 20 20 20 6e 65 78 74 5f 63 68  .        next_ch
0390: 69 6c 64 20 3d 20 6d 6f 76 65 5f 70 61 74 68 5f  ild = move_path_
03a0: 63 68 69 6c 64 72 65 6e 2e 6e 65 78 74 5f 73 69  children.next_si
03b0: 62 6c 69 6e 67 3b 0a 20 20 20 20 7d 0a 0a 20 20  bling;.    }..  
03c0: 20 20 4e 6f 6e 65 0a 7d 0a 0a 2f 2f 2f 20 57 68    None.}../// Wh
03d0: 65 6e 20 65 6e 75 6d 65 72 61 74 69 6e 67 20 74  en enumerating t
03e0: 68 65 20 63 68 69 6c 64 20 66 72 61 67 6d 65 6e  he child fragmen
03f0: 74 73 20 6f 66 20 61 20 70 61 74 68 2c 20 64 6f  ts of a path, do
0400: 6e 27 74 20 72 65 63 75 72 73 65 20 69 6e 74 6f  n't recurse into
0410: 0a 2f 2f 2f 20 70 61 74 68 73 20 28 31 2e 29 20  ./// paths (1.) 
0420: 70 61 73 74 20 61 72 72 61 79 73 2c 20 73 6c 69  past arrays, sli
0430: 63 65 73 2c 20 61 6e 64 20 70 6f 69 6e 74 65 72  ces, and pointer
0440: 73 2c 20 6e 6f 72 20 28 32 2e 29 20 69 6e 74 6f  s, nor (2.) into
0450: 20 61 20 74 79 70 65 0a 2f 2f 2f 20 74 68 61 74   a type./// that
0460: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 60 44 72 6f   implements `Dro
0470: 70 60 2e 0a 2f 2f 2f 0a 2f 2f 2f 20 50 6c 61 63  p`..///./// Plac
0480: 65 73 20 62 65 68 69 6e 64 20 72 65 66 65 72 65  es behind refere
0490: 6e 63 65 73 20 6f 72 20 61 72 72 61 79 73 20 61  nces or arrays a
04a0: 72 65 20 6e 6f 74 20 74 72 61 63 6b 65 64 20 62  re not tracked b
04b0: 79 20 65 6c 61 62 6f 72 61 74 69 6f 6e 0a 2f 2f  y elaboration.//
04c0: 2f 20 61 6e 64 20 61 72 65 20 61 6c 77 61 79 73  / and are always
04d0: 20 61 73 73 75 6d 65 64 20 74 6f 20 62 65 20 69   assumed to be i
04e0: 6e 69 74 69 61 6c 69 7a 65 64 20 77 68 65 6e 20  nitialized when 
04f0: 61 63 63 65 73 73 69 62 6c 65 2e 20 41 73 0a 2f  accessible. As./
0500: 2f 2f 20 72 65 66 65 72 65 6e 63 65 73 20 61 6e  // references an
0510: 64 20 69 6e 64 65 78 65 73 20 63 61 6e 20 62 65  d indexes can be
0520: 20 72 65 73 65 61 74 65 64 2c 20 74 72 79 69 6e   reseated, tryin
0530: 67 20 74 6f 20 74 72 61 63 6b 20 74 68 65 6d 20  g to track them 
0540: 63 61 6e 0a 2f 2f 2f 20 6f 6e 6c 79 20 6c 65 61  can./// only lea
0550: 64 20 74 6f 20 74 72 6f 75 62 6c 65 2e 0a 2f 2f  d to trouble..//
0560: 2f 0a 2f 2f 2f 20 50 6c 61 63 65 73 20 62 65 68  /./// Places beh
0570: 69 6e 64 20 41 44 54 27 73 20 77 69 74 68 20 61  ind ADT's with a
0580: 20 44 72 6f 70 20 69 6d 70 6c 20 61 72 65 20 6e   Drop impl are n
0590: 6f 74 20 74 72 61 63 6b 65 64 20 62 79 0a 2f 2f  ot tracked by.//
05a0: 2f 20 65 6c 61 62 6f 72 61 74 69 6f 6e 20 73 69  / elaboration si
05b0: 6e 63 65 20 74 68 65 79 20 63 61 6e 20 6e 65 76  nce they can nev
05c0: 65 72 20 68 61 76 65 20 61 20 64 72 6f 70 2d 66  er have a drop-f
05d0: 6c 61 67 20 73 74 61 74 65 20 74 68 61 74 0a 2f  lag state that./
05e0: 2f 2f 20 64 69 66 66 65 72 73 20 66 72 6f 6d 20  // differs from 
05f0: 74 68 61 74 20 6f 66 20 74 68 65 20 70 61 72 65  that of the pare
0600: 6e 74 20 77 69 74 68 20 74 68 65 20 44 72 6f 70  nt with the Drop
0610: 20 69 6d 70 6c 2e 0a 2f 2f 2f 0a 2f 2f 2f 20 49   impl..///./// I
0620: 6e 20 62 6f 74 68 20 63 61 73 65 73 2c 20 74 68  n both cases, th
0630: 65 20 63 6f 6e 74 65 6e 74 73 20 63 61 6e 20 6f  e contents can o
0640: 6e 6c 79 20 62 65 20 61 63 63 65 73 73 65 64 20  nly be accessed 
0650: 69 66 20 61 6e 64 20 6f 6e 6c 79 20 69 66 0a 2f  if and only if./
0660: 2f 2f 20 74 68 65 69 72 20 70 61 72 65 6e 74 73  // their parents
0670: 20 61 72 65 20 69 6e 69 74 69 61 6c 69 7a 65 64   are initialized
0680: 2e 20 54 68 69 73 20 69 6d 70 6c 69 65 73 20 66  . This implies f
0690: 6f 72 20 65 78 61 6d 70 6c 65 20 74 68 61 74 20  or example that 
06a0: 74 68 65 72 65 0a 2f 2f 2f 20 69 73 20 6e 6f 20  there./// is no 
06b0: 6e 65 65 64 20 74 6f 20 6d 61 69 6e 74 61 69 6e  need to maintain
06c0: 20 73 65 70 61 72 61 74 65 20 64 72 6f 70 20 66   separate drop f
06d0: 6c 61 67 73 20 74 6f 20 74 72 61 63 6b 20 73 75  lags to track su
06e0: 63 68 20 73 74 61 74 65 2e 0a 2f 2f 0a 2f 2f 20  ch state..//.// 
06f0: 46 49 58 4d 45 3a 20 77 65 20 68 61 76 65 20 74  FIXME: we have t
0700: 6f 20 64 6f 20 73 6f 6d 65 74 68 69 6e 67 20 66  o do something f
0710: 6f 72 20 6d 6f 76 69 6e 67 20 73 6c 69 63 65 20  or moving slice 
0720: 70 61 74 74 65 72 6e 73 2e 0a 66 6e 20 70 6c 61  patterns..fn pla
0730: 63 65 5f 63 6f 6e 74 65 6e 74 73 5f 64 72 6f 70  ce_contents_drop
0740: 5f 73 74 61 74 65 5f 63 61 6e 6e 6f 74 5f 64 69  _state_cannot_di
0750: 66 66 65 72 3c 27 74 63 78 3e 28 0a 20 20 20 20  ffer<'tcx>(.    
0760: 74 63 78 3a 20 54 79 43 74 78 74 3c 27 74 63 78  tcx: TyCtxt<'tcx
0770: 3e 2c 0a 20 20 20 20 62 6f 64 79 3a 20 26 42 6f  >,.    body: &Bo
0780: 64 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20 70 6c  dy<'tcx>,.    pl
0790: 61 63 65 3a 20 26 6d 69 72 3a 3a 50 6c 61 63 65  ace: &mir::Place
07a0: 3c 27 74 63 78 3e 2c 0a 29 20 2d 3e 20 62 6f 6f  <'tcx>,.) -> boo
07b0: 6c 20 7b 0a 20 20 20 20 6c 65 74 20 74 79 20 3d  l {.    let ty =
07c0: 20 70 6c 61 63 65 2e 74 79 28 62 6f 64 79 2c 20   place.ty(body, 
07d0: 74 63 78 29 2e 74 79 3b 0a 20 20 20 20 6d 61 74  tcx).ty;.    mat
07e0: 63 68 20 74 79 2e 6b 69 6e 64 20 7b 0a 20 20 20  ch ty.kind {.   
07f0: 20 20 20 20 20 74 79 3a 3a 41 72 72 61 79 28 2e       ty::Array(.
0800: 2e 29 20 3d 3e 20 7b 0a 20 20 20 20 20 20 20 20  .) => {.        
0810: 20 20 20 20 64 65 62 75 67 21 28 22 70 6c 61 63      debug!("plac
0820: 65 5f 63 6f 6e 74 65 6e 74 73 5f 64 72 6f 70 5f  e_contents_drop_
0830: 73 74 61 74 65 5f 63 61 6e 6e 6f 74 5f 64 69 66  state_cannot_dif
0840: 66 65 72 20 70 6c 61 63 65 3a 20 7b 3a 3f 7d 20  fer place: {:?} 
0850: 74 79 3a 20 7b 3a 3f 7d 20 3d 3e 20 66 61 6c 73  ty: {:?} => fals
0860: 65 22 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  e",.            
0870: 20 20 20 20 20 20 20 70 6c 61 63 65 2c 20 74 79         place, ty
0880: 29 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 66  );.            f
0890: 61 6c 73 65 0a 20 20 20 20 20 20 20 20 7d 0a 20  alse.        }. 
08a0: 20 20 20 20 20 20 20 74 79 3a 3a 53 6c 69 63 65         ty::Slice
08b0: 28 2e 2e 29 20 7c 20 74 79 3a 3a 52 65 66 28 2e  (..) | ty::Ref(.
08c0: 2e 29 20 7c 20 74 79 3a 3a 52 61 77 50 74 72 28  .) | ty::RawPtr(
08d0: 2e 2e 29 20 3d 3e 20 7b 0a 20 20 20 20 20 20 20  ..) => {.       
08e0: 20 20 20 20 20 64 65 62 75 67 21 28 22 70 6c 61       debug!("pla
08f0: 63 65 5f 63 6f 6e 74 65 6e 74 73 5f 64 72 6f 70  ce_contents_drop
0900: 5f 73 74 61 74 65 5f 63 61 6e 6e 6f 74 5f 64 69  _state_cannot_di
0910: 66 66 65 72 20 70 6c 61 63 65 3a 20 7b 3a 3f 7d  ffer place: {:?}
0920: 20 74 79 3a 20 7b 3a 3f 7d 20 72 65 66 64 20 3d   ty: {:?} refd =
0930: 3e 20 74 72 75 65 22 2c 0a 20 20 20 20 20 20 20  > true",.       
0940: 20 20 20 20 20 20 20 20 20 20 20 20 70 6c 61 63              plac
0950: 65 2c 20 74 79 29 3b 0a 20 20 20 20 20 20 20 20  e, ty);.        
0960: 20 20 20 20 74 72 75 65 0a 20 20 20 20 20 20 20      true.       
0970: 20 7d 0a 20 20 20 20 20 20 20 20 74 79 3a 3a 41   }.        ty::A
0980: 64 74 28 64 65 66 2c 20 5f 29 20 69 66 20 28 64  dt(def, _) if (d
0990: 65 66 2e 68 61 73 5f 64 74 6f 72 28 74 63 78 29  ef.has_dtor(tcx)
09a0: 20 26 26 20 21 64 65 66 2e 69 73 5f 62 6f 78 28   && !def.is_box(
09b0: 29 29 20 7c 7c 20 64 65 66 2e 69 73 5f 75 6e 69  )) || def.is_uni
09c0: 6f 6e 28 29 20 3d 3e 20 7b 0a 20 20 20 20 20 20  on() => {.      
09d0: 20 20 20 20 20 20 64 65 62 75 67 21 28 22 70 6c        debug!("pl
09e0: 61 63 65 5f 63 6f 6e 74 65 6e 74 73 5f 64 72 6f  ace_contents_dro
09f0: 70 5f 73 74 61 74 65 5f 63 61 6e 6e 6f 74 5f 64  p_state_cannot_d
0a00: 69 66 66 65 72 20 70 6c 61 63 65 3a 20 7b 3a 3f  iffer place: {:?
0a10: 7d 20 74 79 3a 20 7b 3a 3f 7d 20 44 72 6f 70 20  } ty: {:?} Drop 
0a20: 3d 3e 20 74 72 75 65 22 2c 0a 20 20 20 20 20 20  => true",.      
0a30: 20 20 20 20 20 20 20 20 20 20 20 20 20 70 6c 61               pla
0a40: 63 65 2c 20 74 79 29 3b 0a 20 20 20 20 20 20 20  ce, ty);.       
0a50: 20 20 20 20 20 74 72 75 65 0a 20 20 20 20 20 20       true.      
0a60: 20 20 7d 0a 20 20 20 20 20 20 20 20 5f 20 3d 3e    }.        _ =>
0a70: 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 66   {.            f
0a80: 61 6c 73 65 0a 20 20 20 20 20 20 20 20 7d 0a 20  alse.        }. 
0a90: 20 20 20 7d 0a 7d 0a 0a 70 75 62 28 63 72 61 74     }.}..pub(crat
0aa0: 65 29 20 66 6e 20 6f 6e 5f 6c 6f 6f 6b 75 70 5f  e) fn on_lookup_
0ab0: 72 65 73 75 6c 74 5f 62 69 74 73 3c 27 74 63 78  result_bits<'tcx
0ac0: 2c 20 46 3e 28 0a 20 20 20 20 74 63 78 3a 20 54  , F>(.    tcx: T
0ad0: 79 43 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20 20  yCtxt<'tcx>,.   
0ae0: 20 62 6f 64 79 3a 20 26 42 6f 64 79 3c 27 74 63   body: &Body<'tc
0af0: 78 3e 2c 0a 20 20 20 20 6d 6f 76 65 5f 64 61 74  x>,.    move_dat
0b00: 61 3a 20 26 4d 6f 76 65 44 61 74 61 3c 27 74 63  a: &MoveData<'tc
0b10: 78 3e 2c 0a 20 20 20 20 6c 6f 6f 6b 75 70 5f 72  x>,.    lookup_r
0b20: 65 73 75 6c 74 3a 20 4c 6f 6f 6b 75 70 52 65 73  esult: LookupRes
0b30: 75 6c 74 2c 0a 20 20 20 20 65 61 63 68 5f 63 68  ult,.    each_ch
0b40: 69 6c 64 3a 20 46 2c 0a 29 20 77 68 65 72 65 0a  ild: F,.) where.
0b50: 20 20 20 20 46 3a 20 46 6e 4d 75 74 28 4d 6f 76      F: FnMut(Mov
0b60: 65 50 61 74 68 49 6e 64 65 78 29 2c 0a 7b 0a 20  ePathIndex),.{. 
0b70: 20 20 20 6d 61 74 63 68 20 6c 6f 6f 6b 75 70 5f     match lookup_
0b80: 72 65 73 75 6c 74 20 7b 0a 20 20 20 20 20 20 20  result {.       
0b90: 20 4c 6f 6f 6b 75 70 52 65 73 75 6c 74 3a 3a 50   LookupResult::P
0ba0: 61 72 65 6e 74 28 2e 2e 29 20 3d 3e 20 7b 0a 20  arent(..) => {. 
0bb0: 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 61 63             // ac
0bc0: 63 65 73 73 20 74 6f 20 75 6e 74 72 61 63 6b 65  cess to untracke
0bd0: 64 20 76 61 6c 75 65 20 2d 20 64 6f 20 6e 6f 74  d value - do not
0be0: 20 74 6f 75 63 68 20 63 68 69 6c 64 72 65 6e 0a   touch children.
0bf0: 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20          }.      
0c00: 20 20 4c 6f 6f 6b 75 70 52 65 73 75 6c 74 3a 3a    LookupResult::
0c10: 45 78 61 63 74 28 65 29 20 3d 3e 20 7b 0a 20 20  Exact(e) => {.  
0c20: 20 20 20 20 20 20 20 20 20 20 6f 6e 5f 61 6c 6c            on_all
0c30: 5f 63 68 69 6c 64 72 65 6e 5f 62 69 74 73 28 74  _children_bits(t
0c40: 63 78 2c 20 62 6f 64 79 2c 20 6d 6f 76 65 5f 64  cx, body, move_d
0c50: 61 74 61 2c 20 65 2c 20 65 61 63 68 5f 63 68 69  ata, e, each_chi
0c60: 6c 64 29 0a 20 20 20 20 20 20 20 20 7d 0a 20 20  ld).        }.  
0c70: 20 20 7d 0a 7d 0a 0a 70 75 62 28 63 72 61 74 65    }.}..pub(crate
0c80: 29 20 66 6e 20 6f 6e 5f 61 6c 6c 5f 63 68 69 6c  ) fn on_all_chil
0c90: 64 72 65 6e 5f 62 69 74 73 3c 27 74 63 78 2c 20  dren_bits<'tcx, 
0ca0: 46 3e 28 0a 20 20 20 20 74 63 78 3a 20 54 79 43  F>(.    tcx: TyC
0cb0: 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20 20 20 62  txt<'tcx>,.    b
0cc0: 6f 64 79 3a 20 26 42 6f 64 79 3c 27 74 63 78 3e  ody: &Body<'tcx>
0cd0: 2c 0a 20 20 20 20 6d 6f 76 65 5f 64 61 74 61 3a  ,.    move_data:
0ce0: 20 26 4d 6f 76 65 44 61 74 61 3c 27 74 63 78 3e   &MoveData<'tcx>
0cf0: 2c 0a 20 20 20 20 6d 6f 76 65 5f 70 61 74 68 5f  ,.    move_path_
0d00: 69 6e 64 65 78 3a 20 4d 6f 76 65 50 61 74 68 49  index: MovePathI
0d10: 6e 64 65 78 2c 0a 20 20 20 20 6d 75 74 20 65 61  ndex,.    mut ea
0d20: 63 68 5f 63 68 69 6c 64 3a 20 46 2c 0a 29 20 77  ch_child: F,.) w
0d30: 68 65 72 65 0a 20 20 20 20 46 3a 20 46 6e 4d 75  here.    F: FnMu
0d40: 74 28 4d 6f 76 65 50 61 74 68 49 6e 64 65 78 29  t(MovePathIndex)
0d50: 2c 0a 7b 0a 20 20 20 20 66 6e 20 69 73 5f 74 65  ,.{.    fn is_te
0d60: 72 6d 69 6e 61 6c 5f 70 61 74 68 3c 27 74 63 78  rminal_path<'tcx
0d70: 3e 28 0a 20 20 20 20 20 20 20 20 74 63 78 3a 20  >(.        tcx: 
0d80: 54 79 43 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20  TyCtxt<'tcx>,.  
0d90: 20 20 20 20 20 20 62 6f 64 79 3a 20 26 42 6f 64        body: &Bod
0da0: 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20 20 20 20  y<'tcx>,.       
0db0: 20 6d 6f 76 65 5f 64 61 74 61 3a 20 26 4d 6f 76   move_data: &Mov
0dc0: 65 44 61 74 61 3c 27 74 63 78 3e 2c 0a 20 20 20  eData<'tcx>,.   
0dd0: 20 20 20 20 20 70 61 74 68 3a 20 4d 6f 76 65 50       path: MoveP
0de0: 61 74 68 49 6e 64 65 78 2c 0a 20 20 20 20 29 20  athIndex,.    ) 
0df0: 2d 3e 20 62 6f 6f 6c 20 7b 0a 20 20 20 20 20 20  -> bool {.      
0e00: 20 20 70 6c 61 63 65 5f 63 6f 6e 74 65 6e 74 73    place_contents
0e10: 5f 64 72 6f 70 5f 73 74 61 74 65 5f 63 61 6e 6e  _drop_state_cann
0e20: 6f 74 5f 64 69 66 66 65 72 28 0a 20 20 20 20 20  ot_differ(.     
0e30: 20 20 20 20 20 20 20 74 63 78 2c 20 62 6f 64 79         tcx, body
0e40: 2c 20 26 6d 6f 76 65 5f 64 61 74 61 2e 6d 6f 76  , &move_data.mov
0e50: 65 5f 70 61 74 68 73 5b 70 61 74 68 5d 2e 70 6c  e_paths[path].pl
0e60: 61 63 65 29 0a 20 20 20 20 7d 0a 0a 20 20 20 20  ace).    }..    
0e70: 66 6e 20 6f 6e 5f 61 6c 6c 5f 63 68 69 6c 64 72  fn on_all_childr
0e80: 65 6e 5f 62 69 74 73 3c 27 74 63 78 2c 20 46 3e  en_bits<'tcx, F>
0e90: 28 0a 20 20 20 20 20 20 20 20 74 63 78 3a 20 54  (.        tcx: T
0ea0: 79 43 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20 20  yCtxt<'tcx>,.   
0eb0: 20 20 20 20 20 62 6f 64 79 3a 20 26 42 6f 64 79       body: &Body
0ec0: 3c 27 74 63 78 3e 2c 0a 20 20 20 20 20 20 20 20  <'tcx>,.        
0ed0: 6d 6f 76 65 5f 64 61 74 61 3a 20 26 4d 6f 76 65  move_data: &Move
0ee0: 44 61 74 61 3c 27 74 63 78 3e 2c 0a 20 20 20 20  Data<'tcx>,.    
0ef0: 20 20 20 20 6d 6f 76 65 5f 70 61 74 68 5f 69 6e      move_path_in
0f00: 64 65 78 3a 20 4d 6f 76 65 50 61 74 68 49 6e 64  dex: MovePathInd
0f10: 65 78 2c 0a 20 20 20 20 20 20 20 20 65 61 63 68  ex,.        each
0f20: 5f 63 68 69 6c 64 3a 20 26 6d 75 74 20 46 2c 0a  _child: &mut F,.
0f30: 20 20 20 20 29 20 77 68 65 72 65 0a 20 20 20 20      ) where.    
0f40: 20 20 20 20 46 3a 20 46 6e 4d 75 74 28 4d 6f 76      F: FnMut(Mov
0f50: 65 50 61 74 68 49 6e 64 65 78 29 2c 0a 20 20 20  ePathIndex),.   
0f60: 20 7b 0a 20 20 20 20 20 20 20 20 65 61 63 68 5f   {.        each_
0f70: 63 68 69 6c 64 28 6d 6f 76 65 5f 70 61 74 68 5f  child(move_path_
0f80: 69 6e 64 65 78 29 3b 0a 0a 20 20 20 20 20 20 20  index);..       
0f90: 20 69 66 20 69 73 5f 74 65 72 6d 69 6e 61 6c 5f   if is_terminal_
0fa0: 70 61 74 68 28 74 63 78 2c 20 62 6f 64 79 2c 20  path(tcx, body, 
0fb0: 6d 6f 76 65 5f 64 61 74 61 2c 20 6d 6f 76 65 5f  move_data, move_
0fc0: 70 61 74 68 5f 69 6e 64 65 78 29 20 7b 0a 20 20  path_index) {.  
0fd0: 20 20 20 20 20 20 20 20 20 20 72 65 74 75 72 6e            return
0fe0: 0a 20 20 20 20 20 20 20 20 7d 0a 0a 20 20 20 20  .        }..    
0ff0: 20 20 20 20 6c 65 74 20 6d 75 74 20 6e 65 78 74      let mut next
1000: 5f 63 68 69 6c 64 5f 69 6e 64 65 78 20 3d 20 6d  _child_index = m
1010: 6f 76 65 5f 64 61 74 61 2e 6d 6f 76 65 5f 70 61  ove_data.move_pa
1020: 74 68 73 5b 6d 6f 76 65 5f 70 61 74 68 5f 69 6e  ths[move_path_in
1030: 64 65 78 5d 2e 66 69 72 73 74 5f 63 68 69 6c 64  dex].first_child
1040: 3b 0a 20 20 20 20 20 20 20 20 77 68 69 6c 65 20  ;.        while 
1050: 6c 65 74 20 53 6f 6d 65 28 63 68 69 6c 64 5f 69  let Some(child_i
1060: 6e 64 65 78 29 20 3d 20 6e 65 78 74 5f 63 68 69  ndex) = next_chi
1070: 6c 64 5f 69 6e 64 65 78 20 7b 0a 20 20 20 20 20  ld_index {.     
1080: 20 20 20 20 20 20 20 6f 6e 5f 61 6c 6c 5f 63 68         on_all_ch
1090: 69 6c 64 72 65 6e 5f 62 69 74 73 28 74 63 78 2c  ildren_bits(tcx,
10a0: 20 62 6f 64 79 2c 20 6d 6f 76 65 5f 64 61 74 61   body, move_data
10b0: 2c 20 63 68 69 6c 64 5f 69 6e 64 65 78 2c 20 65  , child_index, e
10c0: 61 63 68 5f 63 68 69 6c 64 29 3b 0a 20 20 20 20  ach_child);.    
10d0: 20 20 20 20 20 20 20 20 6e 65 78 74 5f 63 68 69          next_chi
10e0: 6c 64 5f 69 6e 64 65 78 20 3d 20 6d 6f 76 65 5f  ld_index = move_
10f0: 64 61 74 61 2e 6d 6f 76 65 5f 70 61 74 68 73 5b  data.move_paths[
1100: 63 68 69 6c 64 5f 69 6e 64 65 78 5d 2e 6e 65 78  child_index].nex
1110: 74 5f 73 69 62 6c 69 6e 67 3b 0a 20 20 20 20 20  t_sibling;.     
1120: 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 6f     }.    }.    o
1130: 6e 5f 61 6c 6c 5f 63 68 69 6c 64 72 65 6e 5f 62  n_all_children_b
1140: 69 74 73 28 74 63 78 2c 20 62 6f 64 79 2c 20 6d  its(tcx, body, m
1150: 6f 76 65 5f 64 61 74 61 2c 20 6d 6f 76 65 5f 70  ove_data, move_p
1160: 61 74 68 5f 69 6e 64 65 78 2c 20 26 6d 75 74 20  ath_index, &mut 
1170: 65 61 63 68 5f 63 68 69 6c 64 29 3b 0a 7d 0a 0a  each_child);.}..
1180: 70 75 62 28 63 72 61 74 65 29 20 66 6e 20 6f 6e  pub(crate) fn on
1190: 5f 61 6c 6c 5f 64 72 6f 70 5f 63 68 69 6c 64 72  _all_drop_childr
11a0: 65 6e 5f 62 69 74 73 3c 27 74 63 78 2c 20 46 3e  en_bits<'tcx, F>
11b0: 28 0a 20 20 20 20 74 63 78 3a 20 54 79 43 74 78  (.    tcx: TyCtx
11c0: 74 3c 27 74 63 78 3e 2c 0a 20 20 20 20 62 6f 64  t<'tcx>,.    bod
11d0: 79 3a 20 26 42 6f 64 79 3c 27 74 63 78 3e 2c 0a  y: &Body<'tcx>,.
11e0: 20 20 20 20 63 74 78 74 3a 20 26 4d 6f 76 65 44      ctxt: &MoveD
11f0: 61 74 61 50 61 72 61 6d 45 6e 76 3c 27 74 63 78  ataParamEnv<'tcx
1200: 3e 2c 0a 20 20 20 20 70 61 74 68 3a 20 4d 6f 76  >,.    path: Mov
1210: 65 50 61 74 68 49 6e 64 65 78 2c 0a 20 20 20 20  ePathIndex,.    
1220: 6d 75 74 20 65 61 63 68 5f 63 68 69 6c 64 3a 20  mut each_child: 
1230: 46 2c 0a 29 20 77 68 65 72 65 0a 20 20 20 20 46  F,.) where.    F
1240: 3a 20 46 6e 4d 75 74 28 4d 6f 76 65 50 61 74 68  : FnMut(MovePath
1250: 49 6e 64 65 78 29 2c 0a 7b 0a 20 20 20 20 6f 6e  Index),.{.    on
1260: 5f 61 6c 6c 5f 63 68 69 6c 64 72 65 6e 5f 62 69  _all_children_bi
1270: 74 73 28 74 63 78 2c 20 62 6f 64 79 2c 20 26 63  ts(tcx, body, &c
1280: 74 78 74 2e 6d 6f 76 65 5f 64 61 74 61 2c 20 70  txt.move_data, p
1290: 61 74 68 2c 20 7c 63 68 69 6c 64 7c 20 7b 0a 20  ath, |child| {. 
12a0: 20 20 20 20 20 20 20 6c 65 74 20 70 6c 61 63 65         let place
12b0: 20 3d 20 26 63 74 78 74 2e 6d 6f 76 65 5f 64 61   = &ctxt.move_da
12c0: 74 61 2e 6d 6f 76 65 5f 70 61 74 68 73 5b 70 61  ta.move_paths[pa
12d0: 74 68 5d 2e 70 6c 61 63 65 3b 0a 20 20 20 20 20  th].place;.     
12e0: 20 20 20 6c 65 74 20 74 79 20 3d 20 70 6c 61 63     let ty = plac
12f0: 65 2e 74 79 28 62 6f 64 79 2c 20 74 63 78 29 2e  e.ty(body, tcx).
1300: 74 79 3b 0a 20 20 20 20 20 20 20 20 64 65 62 75  ty;.        debu
1310: 67 21 28 22 6f 6e 5f 61 6c 6c 5f 64 72 6f 70 5f  g!("on_all_drop_
1320: 63 68 69 6c 64 72 65 6e 5f 62 69 74 73 28 7b 3a  children_bits({:
1330: 3f 7d 2c 20 7b 3a 3f 7d 20 3a 20 7b 3a 3f 7d 29  ?}, {:?} : {:?})
1340: 22 2c 20 70 61 74 68 2c 20 70 6c 61 63 65 2c 20  ", path, place, 
1350: 74 79 29 3b 0a 0a 20 20 20 20 20 20 20 20 6c 65  ty);..        le
1360: 74 20 65 72 61 73 65 64 5f 74 79 20 3d 20 74 63  t erased_ty = tc
1370: 78 2e 65 72 61 73 65 5f 72 65 67 69 6f 6e 73 28  x.erase_regions(
1380: 26 74 79 29 3b 0a 20 20 20 20 20 20 20 20 69 66  &ty);.        if
1390: 20 65 72 61 73 65 64 5f 74 79 2e 6e 65 65 64 73   erased_ty.needs
13a0: 5f 64 72 6f 70 28 74 63 78 2c 20 63 74 78 74 2e  _drop(tcx, ctxt.
13b0: 70 61 72 61 6d 5f 65 6e 76 29 20 7b 0a 20 20 20  param_env) {.   
13c0: 20 20 20 20 20 20 20 20 20 65 61 63 68 5f 63 68           each_ch
13d0: 69 6c 64 28 63 68 69 6c 64 29 3b 0a 20 20 20 20  ild(child);.    
13e0: 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20      } else {.   
13f0: 20 20 20 20 20 20 20 20 20 64 65 62 75 67 21 28           debug!(
1400: 22 6f 6e 5f 61 6c 6c 5f 64 72 6f 70 5f 63 68 69  "on_all_drop_chi
1410: 6c 64 72 65 6e 5f 62 69 74 73 20 2d 20 73 6b 69  ldren_bits - ski
1420: 70 70 69 6e 67 22 29 0a 20 20 20 20 20 20 20 20  pping").        
1430: 7d 0a 20 20 20 20 7d 29 0a 7d 0a 0a 70 75 62 28  }.    }).}..pub(
1440: 63 72 61 74 65 29 20 66 6e 20 64 72 6f 70 5f 66  crate) fn drop_f
1450: 6c 61 67 5f 65 66 66 65 63 74 73 5f 66 6f 72 5f  lag_effects_for_
1460: 66 75 6e 63 74 69 6f 6e 5f 65 6e 74 72 79 3c 27  function_entry<'
1470: 74 63 78 2c 20 46 3e 28 0a 20 20 20 20 74 63 78  tcx, F>(.    tcx
1480: 3a 20 54 79 43 74 78 74 3c 27 74 63 78 3e 2c 0a  : TyCtxt<'tcx>,.
1490: 20 20 20 20 62 6f 64 79 3a 20 26 42 6f 64 79 3c      body: &Body<
14a0: 27 74 63 78 3e 2c 0a 20 20 20 20 63 74 78 74 3a  'tcx>,.    ctxt:
14b0: 20 26 4d 6f 76 65 44 61 74 61 50 61 72 61 6d 45   &MoveDataParamE
14c0: 6e 76 3c 27 74 63 78 3e 2c 0a 20 20 20 20 6d 75  nv<'tcx>,.    mu
14d0: 74 20 63 61 6c 6c 62 61 63 6b 3a 20 46 2c 0a 29  t callback: F,.)
14e0: 20 77 68 65 72 65 0a 20 20 20 20 46 3a 20 46 6e   where.    F: Fn
14f0: 4d 75 74 28 4d 6f 76 65 50 61 74 68 49 6e 64 65  Mut(MovePathInde
1500: 78 2c 20 44 72 6f 70 46 6c 61 67 53 74 61 74 65  x, DropFlagState
1510: 29 2c 0a 7b 0a 20 20 20 20 6c 65 74 20 6d 6f 76  ),.{.    let mov
1520: 65 5f 64 61 74 61 20 3d 20 26 63 74 78 74 2e 6d  e_data = &ctxt.m
1530: 6f 76 65 5f 64 61 74 61 3b 0a 20 20 20 20 66 6f  ove_data;.    fo
1540: 72 20 61 72 67 20 69 6e 20 62 6f 64 79 2e 61 72  r arg in body.ar
1550: 67 73 5f 69 74 65 72 28 29 20 7b 0a 20 20 20 20  gs_iter() {.    
1560: 20 20 20 20 6c 65 74 20 70 6c 61 63 65 20 3d 20      let place = 
1570: 6d 69 72 3a 3a 50 6c 61 63 65 3a 3a 66 72 6f 6d  mir::Place::from
1580: 28 61 72 67 29 3b 0a 20 20 20 20 20 20 20 20 6c  (arg);.        l
1590: 65 74 20 6c 6f 6f 6b 75 70 5f 72 65 73 75 6c 74  et lookup_result
15a0: 20 3d 20 6d 6f 76 65 5f 64 61 74 61 2e 72 65 76   = move_data.rev
15b0: 5f 6c 6f 6f 6b 75 70 2e 66 69 6e 64 28 70 6c 61  _lookup.find(pla
15c0: 63 65 2e 61 73 5f 72 65 66 28 29 29 3b 0a 20 20  ce.as_ref());.  
15d0: 20 20 20 20 20 20 6f 6e 5f 6c 6f 6f 6b 75 70 5f        on_lookup_
15e0: 72 65 73 75 6c 74 5f 62 69 74 73 28 74 63 78 2c  result_bits(tcx,
15f0: 20 62 6f 64 79 2c 20 6d 6f 76 65 5f 64 61 74 61   body, move_data
1600: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,.              
1610: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1620: 6c 6f 6f 6b 75 70 5f 72 65 73 75 6c 74 2c 0a 20  lookup_result,. 
1630: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1640: 20 20 20 20 20 20 20 20 20 20 20 20 20 7c 6d 70               |mp
1650: 69 7c 20 63 61 6c 6c 62 61 63 6b 28 6d 70 69 2c  i| callback(mpi,
1660: 20 44 72 6f 70 46 6c 61 67 53 74 61 74 65 3a 3a   DropFlagState::
1670: 50 72 65 73 65 6e 74 29 29 3b 0a 20 20 20 20 7d  Present));.    }
1680: 0a 7d 0a 0a 70 75 62 28 63 72 61 74 65 29 20 66  .}..pub(crate) f
1690: 6e 20 64 72 6f 70 5f 66 6c 61 67 5f 65 66 66 65  n drop_flag_effe
16a0: 63 74 73 5f 66 6f 72 5f 6c 6f 63 61 74 69 6f 6e  cts_for_location
16b0: 3c 27 74 63 78 2c 20 46 3e 28 0a 20 20 20 20 74  <'tcx, F>(.    t
16c0: 63 78 3a 20 54 79 43 74 78 74 3c 27 74 63 78 3e  cx: TyCtxt<'tcx>
16d0: 2c 0a 20 20 20 20 62 6f 64 79 3a 20 26 42 6f 64  ,.    body: &Bod
16e0: 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20 63 74 78  y<'tcx>,.    ctx
16f0: 74 3a 20 26 4d 6f 76 65 44 61 74 61 50 61 72 61  t: &MoveDataPara
1700: 6d 45 6e 76 3c 27 74 63 78 3e 2c 0a 20 20 20 20  mEnv<'tcx>,.    
1710: 6c 6f 63 3a 20 4c 6f 63 61 74 69 6f 6e 2c 0a 20  loc: Location,. 
1720: 20 20 20 6d 75 74 20 63 61 6c 6c 62 61 63 6b 3a     mut callback:
1730: 20 46 2c 0a 29 20 77 68 65 72 65 0a 20 20 20 20   F,.) where.    
1740: 46 3a 20 46 6e 4d 75 74 28 4d 6f 76 65 50 61 74  F: FnMut(MovePat
1750: 68 49 6e 64 65 78 2c 20 44 72 6f 70 46 6c 61 67  hIndex, DropFlag
1760: 53 74 61 74 65 29 2c 0a 7b 0a 20 20 20 20 6c 65  State),.{.    le
1770: 74 20 6d 6f 76 65 5f 64 61 74 61 20 3d 20 26 63  t move_data = &c
1780: 74 78 74 2e 6d 6f 76 65 5f 64 61 74 61 3b 0a 20  txt.move_data;. 
1790: 20 20 20 64 65 62 75 67 21 28 22 64 72 6f 70 5f     debug!("drop_
17a0: 66 6c 61 67 5f 65 66 66 65 63 74 73 5f 66 6f 72  flag_effects_for
17b0: 5f 6c 6f 63 61 74 69 6f 6e 28 7b 3a 3f 7d 29 22  _location({:?})"
17c0: 2c 20 6c 6f 63 29 3b 0a 0a 20 20 20 20 2f 2f 20  , loc);..    // 
17d0: 66 69 72 73 74 2c 20 6d 6f 76 65 20 6f 75 74 20  first, move out 
17e0: 6f 66 20 74 68 65 20 52 48 53 0a 20 20 20 20 66  of the RHS.    f
17f0: 6f 72 20 6d 69 20 69 6e 20 26 6d 6f 76 65 5f 64  or mi in &move_d
1800: 61 74 61 2e 6c 6f 63 5f 6d 61 70 5b 6c 6f 63 5d  ata.loc_map[loc]
1810: 20 7b 0a 20 20 20 20 20 20 20 20 6c 65 74 20 70   {.        let p
1820: 61 74 68 20 3d 20 6d 69 2e 6d 6f 76 65 5f 70 61  ath = mi.move_pa
1830: 74 68 5f 69 6e 64 65 78 28 6d 6f 76 65 5f 64 61  th_index(move_da
1840: 74 61 29 3b 0a 20 20 20 20 20 20 20 20 64 65 62  ta);.        deb
1850: 75 67 21 28 22 6d 6f 76 69 6e 67 20 6f 75 74 20  ug!("moving out 
1860: 6f 66 20 70 61 74 68 20 7b 3a 3f 7d 22 2c 20 6d  of path {:?}", m
1870: 6f 76 65 5f 64 61 74 61 2e 6d 6f 76 65 5f 70 61  ove_data.move_pa
1880: 74 68 73 5b 70 61 74 68 5d 29 3b 0a 0a 20 20 20  ths[path]);..   
1890: 20 20 20 20 20 6f 6e 5f 61 6c 6c 5f 63 68 69 6c       on_all_chil
18a0: 64 72 65 6e 5f 62 69 74 73 28 74 63 78 2c 20 62  dren_bits(tcx, b
18b0: 6f 64 79 2c 20 6d 6f 76 65 5f 64 61 74 61 2c 0a  ody, move_data,.
18c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
18d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 70 61 74               pat
18e0: 68 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  h,.             
18f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1900: 7c 6d 70 69 7c 20 63 61 6c 6c 62 61 63 6b 28 6d  |mpi| callback(m
1910: 70 69 2c 20 44 72 6f 70 46 6c 61 67 53 74 61 74  pi, DropFlagStat
1920: 65 3a 3a 41 62 73 65 6e 74 29 29 0a 20 20 20 20  e::Absent)).    
1930: 7d 0a 0a 20 20 20 20 64 65 62 75 67 21 28 22 64  }..    debug!("d
1940: 72 6f 70 5f 66 6c 61 67 5f 65 66 66 65 63 74 73  rop_flag_effects
1950: 3a 20 61 73 73 69 67 6e 6d 65 6e 74 20 66 6f 72  : assignment for
1960: 20 6c 6f 63 61 74 69 6f 6e 28 7b 3a 3f 7d 29 22   location({:?})"
1970: 2c 20 6c 6f 63 29 3b 0a 0a 20 20 20 20 66 6f 72  , loc);..    for
1980: 5f 6c 6f 63 61 74 69 6f 6e 5f 69 6e 69 74 73 28  _location_inits(
1990: 0a 20 20 20 20 20 20 20 20 74 63 78 2c 0a 20 20  .        tcx,.  
19a0: 20 20 20 20 20 20 62 6f 64 79 2c 0a 20 20 20 20        body,.    
19b0: 20 20 20 20 6d 6f 76 65 5f 64 61 74 61 2c 0a 20      move_data,. 
19c0: 20 20 20 20 20 20 20 6c 6f 63 2c 0a 20 20 20 20         loc,.    
19d0: 20 20 20 20 7c 6d 70 69 7c 20 63 61 6c 6c 62 61      |mpi| callba
19e0: 63 6b 28 6d 70 69 2c 20 44 72 6f 70 46 6c 61 67  ck(mpi, DropFlag
19f0: 53 74 61 74 65 3a 3a 50 72 65 73 65 6e 74 29 0a  State::Present).
1a00: 20 20 20 20 29 3b 0a 7d 0a 0a 70 75 62 28 63 72      );.}..pub(cr
1a10: 61 74 65 29 20 66 6e 20 66 6f 72 5f 6c 6f 63 61  ate) fn for_loca
1a20: 74 69 6f 6e 5f 69 6e 69 74 73 3c 27 74 63 78 2c  tion_inits<'tcx,
1a30: 20 46 3e 28 0a 20 20 20 20 74 63 78 3a 20 54 79   F>(.    tcx: Ty
1a40: 43 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20 20 20  Ctxt<'tcx>,.    
1a50: 62 6f 64 79 3a 20 26 42 6f 64 79 3c 27 74 63 78  body: &Body<'tcx
1a60: 3e 2c 0a 20 20 20 20 6d 6f 76 65 5f 64 61 74 61  >,.    move_data
1a70: 3a 20 26 4d 6f 76 65 44 61 74 61 3c 27 74 63 78  : &MoveData<'tcx
1a80: 3e 2c 0a 20 20 20 20 6c 6f 63 3a 20 4c 6f 63 61  >,.    loc: Loca
1a90: 74 69 6f 6e 2c 0a 20 20 20 20 6d 75 74 20 63 61  tion,.    mut ca
1aa0: 6c 6c 62 61 63 6b 3a 20 46 2c 0a 29 20 77 68 65  llback: F,.) whe
1ab0: 72 65 0a 20 20 20 20 46 3a 20 46 6e 4d 75 74 28  re.    F: FnMut(
1ac0: 4d 6f 76 65 50 61 74 68 49 6e 64 65 78 29 2c 0a  MovePathIndex),.
1ad0: 7b 0a 20 20 20 20 66 6f 72 20 69 69 20 69 6e 20  {.    for ii in 
1ae0: 26 6d 6f 76 65 5f 64 61 74 61 2e 69 6e 69 74 5f  &move_data.init_
1af0: 6c 6f 63 5f 6d 61 70 5b 6c 6f 63 5d 20 7b 0a 20  loc_map[loc] {. 
1b00: 20 20 20 20 20 20 20 6c 65 74 20 69 6e 69 74 20         let init 
1b10: 3d 20 6d 6f 76 65 5f 64 61 74 61 2e 69 6e 69 74  = move_data.init
1b20: 73 5b 2a 69 69 5d 3b 0a 20 20 20 20 20 20 20 20  s[*ii];.        
1b30: 6d 61 74 63 68 20 69 6e 69 74 2e 6b 69 6e 64 20  match init.kind 
1b40: 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 49 6e  {.            In
1b50: 69 74 4b 69 6e 64 3a 3a 44 65 65 70 20 3d 3e 20  itKind::Deep => 
1b60: 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  {.              
1b70: 20 20 6c 65 74 20 70 61 74 68 20 3d 20 69 6e 69    let path = ini
1b80: 74 2e 70 61 74 68 3b 0a 0a 20 20 20 20 20 20 20  t.path;..       
1b90: 20 20 20 20 20 20 20 20 20 6f 6e 5f 61 6c 6c 5f           on_all_
1ba0: 63 68 69 6c 64 72 65 6e 5f 62 69 74 73 28 74 63  children_bits(tc
1bb0: 78 2c 20 62 6f 64 79 2c 20 6d 6f 76 65 5f 64 61  x, body, move_da
1bc0: 74 61 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  ta,.            
1bd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1be0: 20 20 20 20 20 20 20 20 70 61 74 68 2c 0a 20 20          path,.  
1bf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1c10: 20 20 26 6d 75 74 20 63 61 6c 6c 62 61 63 6b 29    &mut callback)
1c20: 0a 20 20 20 20 20 20 20 20 20 20 20 20 7d 2c 0a  .            },.
1c30: 20 20 20 20 20 20 20 20 20 20 20 20 49 6e 69 74              Init
1c40: 4b 69 6e 64 3a 3a 53 68 61 6c 6c 6f 77 20 3d 3e  Kind::Shallow =>
1c50: 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20   {.             
1c60: 20 20 20 6c 65 74 20 6d 70 69 20 3d 20 69 6e 69     let mpi = ini
1c70: 74 2e 70 61 74 68 3b 0a 20 20 20 20 20 20 20 20  t.path;.        
1c80: 20 20 20 20 20 20 20 20 63 61 6c 6c 62 61 63 6b          callback
1c90: 28 6d 70 69 29 3b 0a 20 20 20 20 20 20 20 20 20  (mpi);.         
1ca0: 20 20 20 7d 0a 20 20 20 20 20 20 20 20 20 20 20     }.           
1cb0: 20 49 6e 69 74 4b 69 6e 64 3a 3a 4e 6f 6e 50 61   InitKind::NonPa
1cc0: 6e 69 63 50 61 74 68 4f 6e 6c 79 20 3d 3e 20 28  nicPathOnly => (
1cd0: 29 2c 0a 20 20 20 20 20 20 20 20 7d 0a 20 20 20  ),.        }.   
1ce0: 20 7d 0a 7d 0a                                    }.}.