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 }.}.