pub(super) fn gather_moves<'tcx>(
    body: &Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    filter: impl Fn(Ty<'tcx>) -> bool
) -> MoveData<'tcx>