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