Fix rule for move vector

Author: lucic71

rules/vector/tgt_refcount.rs

@@ -109,8 +109,10 @@ fn f30<T1: Default + Clone>(a0: usize) -> Vec<Value<Vec<T1>>> {
         .collect::<Vec<_>>()
 }
 
-fn f31<T1: ByteRepr + Clone>(a0: Ptr<Vec<Value<Vec<T1>>>>, a1: Vec<T1>) {
-    a0.with_mut(|__v: &mut Vec<Value<Vec<T1>>>| __v.push(Rc::new(RefCell::new(a1))))
+fn f31<T1: ByteRepr + Clone>(a0: Ptr<Vec<Value<Vec<T1>>>>, a1: &mut Vec<T1>) {
+    a0.with_mut(|__v: &mut Vec<Value<Vec<T1>>>| {
+        __v.push(Rc::new(RefCell::new(std::mem::take(&mut *a1))))
+    })
 }
 
 fn f32<T1: Default + ByteRepr>(a0: Ptr<Vec<Value<Vec<T1>>>>, a1: usize) {

rules/vector/tgt_unsafe.rs

@@ -138,8 +138,8 @@ unsafe fn f30<T1: Default + Clone>(a0: usize) -> Vec<Vec<T1>> {
         .map(|_| <Vec<T1>>::default())
         .collect::<Vec<_>>()
 }
-unsafe fn f31<T1>(a0: &mut Vec<Vec<T1>>, a1: Vec<T1>) {
-    a0.push(a1)
+unsafe fn f31<T1>(a0: &mut Vec<Vec<T1>>, a1: &mut Vec<T1>) {
+    a0.push(std::mem::take(&mut *a1))
 }
 unsafe fn f32<T1: Default>(a0: &mut Vec<Vec<T1>>, a1: usize) {
     a0.resize_with(a1 as usize, || <Vec<T1>>::default())

tests/unit/out/refcount/foreach_double.rs

@@ -52,15 +52,21 @@ fn main_0() -> i32 {
     let m: Value<Vec<Value<Vec<i32>>>> = Rc::new(RefCell::new(Vec::new()));
     let v1: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
     (m.as_pointer() as Ptr<Vec<Value<Vec<i32>>>>).with_mut(|__v: &mut Vec<Value<Vec<i32>>>| {
-        __v.push(Rc::new(RefCell::new((*v1.borrow()).clone())))
+        __v.push(Rc::new(RefCell::new(std::mem::take(
+            &mut (*v1.borrow_mut()),
+        ))))
     });
     let v2: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
     (m.as_pointer() as Ptr<Vec<Value<Vec<i32>>>>).with_mut(|__v: &mut Vec<Value<Vec<i32>>>| {
-        __v.push(Rc::new(RefCell::new((*v2.borrow()).clone())))
+        __v.push(Rc::new(RefCell::new(std::mem::take(
+            &mut (*v2.borrow_mut()),
+        ))))
     });
     let v3: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
     (m.as_pointer() as Ptr<Vec<Value<Vec<i32>>>>).with_mut(|__v: &mut Vec<Value<Vec<i32>>>| {
-        __v.push(Rc::new(RefCell::new((*v3.borrow()).clone())))
+        __v.push(Rc::new(RefCell::new(std::mem::take(
+            &mut (*v3.borrow_mut()),
+        ))))
     });
     'loop_: for mut row in m.as_pointer() as Ptr<Value<Vec<i32>>> {
         let row: Ptr<Vec<i32>> = row.upgrade().deref().as_pointer();

tests/unit/out/unsafe/foreach_double.rs

@@ -47,11 +47,11 @@ unsafe fn main_0() -> i32 {
     }
     let mut m: Vec<Vec<i32>> = Vec::new();
     let mut v1: Vec<i32> = Vec::new();
-    m.push((v1).clone());
+    m.push(std::mem::take(&mut v1));
     let mut v2: Vec<i32> = Vec::new();
-    m.push((v2).clone());
+    m.push(std::mem::take(&mut v2));
     let mut v3: Vec<i32> = Vec::new();
-    m.push((v3).clone());
+    m.push(std::mem::take(&mut v3));
     'loop_: for row in 0..(m.len()) {
         let mut row = m.as_mut_ptr().add(row);
         'loop_: for col in 0..((*row).len()) {