fn partially_moved<'db>( infcx: &InferCtxt<'db>, env: ParamEnv<'db>, body: &MirBody<'db>, ) -> Vec<PartiallyMoved>