Update tests

Author: lucic71

tests/unit/out/refcount/array_2d_default.rs

@@ -37,105 +37,28 @@ fn main_0() -> i32 {
         });
         (*i.borrow_mut()).postfix_inc();
     }
-    {
-        &(::std::mem::size_of::<i32>());
-        {
-            if (((((*grid.borrow())[(0) as usize].borrow()[(0) as usize] as i32) == ('a' as i32))
-                as i32)
-                != 0)
-            {
-            } else {
-                ({
-                    __assert_fail_1(
-                        Ptr::<u8>::from_string_literal(b"grid[0][0] == \'a\'"),
-                        Ptr::<u8>::from_string_literal(b"array_2d_default.c"),
-                        13_u32,
-                        Ptr::<u8>::from_string_literal(b"int main(void)"),
-                    )
-                });
-            }
-        }
-    };
-    {
-        &(::std::mem::size_of::<i32>());
-        {
-            if (((((*grid.borrow())[(1) as usize].borrow()[(0) as usize] as i32) == ('b' as i32))
-                as i32)
-                != 0)
-            {
-            } else {
-                ({
-                    __assert_fail_1(
-                        Ptr::<u8>::from_string_literal(b"grid[1][0] == \'b\'"),
-                        Ptr::<u8>::from_string_literal(b"array_2d_default.c"),
-                        14_u32,
-                        Ptr::<u8>::from_string_literal(b"int main(void)"),
-                    )
-                });
-            }
-        }
-    };
-    {
-        &(::std::mem::size_of::<i32>());
-        {
-            if (((((*grid.borrow())[(2) as usize].borrow()[(0) as usize] as i32) == ('c' as i32))
-                as i32)
-                != 0)
-            {
-            } else {
-                ({
-                    __assert_fail_1(
-                        Ptr::<u8>::from_string_literal(b"grid[2][0] == \'c\'"),
-                        Ptr::<u8>::from_string_literal(b"array_2d_default.c"),
-                        15_u32,
-                        Ptr::<u8>::from_string_literal(b"int main(void)"),
-                    )
-                });
-            }
-        }
-    };
-    {
-        &(::std::mem::size_of::<i32>());
-        {
-            if (((((*grid.borrow())[(1) as usize].borrow()[(1) as usize] as i32) == ('\0' as i32))
-                as i32)
-                != 0)
-            {
-            } else {
-                ({
-                    __assert_fail_1(
-                        Ptr::<u8>::from_string_literal(b"grid[1][1] == \'\\0\'"),
-                        Ptr::<u8>::from_string_literal(b"array_2d_default.c"),
-                        16_u32,
-                        Ptr::<u8>::from_string_literal(b"int main(void)"),
-                    )
-                });
-            }
-        }
-    };
+    assert!(
+        (((((*grid.borrow())[(0) as usize].borrow()[(0) as usize] as i32) == ('a' as i32)) as i32)
+            != 0)
+    );
+    assert!(
+        (((((*grid.borrow())[(1) as usize].borrow()[(0) as usize] as i32) == ('b' as i32)) as i32)
+            != 0)
+    );
+    assert!(
+        (((((*grid.borrow())[(2) as usize].borrow()[(0) as usize] as i32) == ('c' as i32)) as i32)
+            != 0)
+    );
+    assert!(
+        (((((*grid.borrow())[(1) as usize].borrow()[(1) as usize] as i32) == ('\0' as i32))
+            as i32)
+            != 0)
+    );
     (*grid.borrow())[(2) as usize].borrow_mut()[(5) as usize] = (('z' as i32) as u8);
-    {
-        &(::std::mem::size_of::<i32>());
-        {
-            if (((((*grid.borrow())[(2) as usize].borrow()[(5) as usize] as i32) == ('z' as i32))
-                as i32)
-                != 0)
-            {
-            } else {
-                ({
-                    __assert_fail_1(
-                        Ptr::<u8>::from_string_literal(b"grid[2][5] == \'z\'"),
-                        Ptr::<u8>::from_string_literal(b"array_2d_default.c"),
-                        18_u32,
-                        Ptr::<u8>::from_string_literal(b"int main(void)"),
-                    )
-                });
-            }
-        }
-    };
+    assert!(
+        (((((*grid.borrow())[(2) as usize].borrow()[(5) as usize] as i32) == ('z' as i32)) as i32)
+            != 0)
+    );
     return 0;
 }
-pub fn __assert_fail_1(__assertion: Ptr<u8>, __file: Ptr<u8>, __line: u32, __function: Ptr<u8>) {
-    unimplemented!()
-}
 pub fn __cpp2rust_init_globals() {}

tests/unit/out/refcount/empty_array_init.rs

@@ -11,7 +11,7 @@ pub fn main() {
     std::process::exit(main_0());
 }
 fn main_0() -> i32 {
-    let vec_: Value<Vec<i32>> = Rc::new(RefCell::new(
+    let vec_: Value<std_array_int__3_> = Rc::new(RefCell::new(
         std::array::from_fn::<_, 3, _>(|_| Default::default()).to_vec(),
     ));
     return 0;

tests/unit/out/refcount/init_list.rs

@@ -18,7 +18,7 @@ fn main_0() -> i32 {
     let i2: Value<i32> = Rc::new(RefCell::new(0_i32));
     let carr1: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([1, 2])));
     let carr2: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([1, 0_i32, 0_i32])));
-    let arr: Value<Vec<i32>> = Rc::new(RefCell::new(vec![1, 2, 3]));
+    let arr: Value<std_array_int__3_> = Rc::new(RefCell::new(vec![1, 2, 3]));
     let vec_: Value<Vec<i32>> = Rc::new(RefCell::new(vec![1, 2, 3]));
     ({ f_0(vec![1, 2, 3, 4]) });
     return 0;