pub fn move_path_children_matching<'tcx, F>(
    move_data: &MoveData<'tcx>,
    path: MovePathIndex,
    cond: F
) -> Option<MovePathIndex> where
    F: FnMut(PlaceElem<'tcx>) -> bool