fn for_location_inits<'tcx, F>(
    move_data: &MoveData<'tcx>,
    loc: Location,
    callback: F
)
where F: FnMut(MovePathIndex),