Add template specialization with in-class initializer test

Author: lucic71

tests/unit/in_class_field_initializer.cpp

@@ -13,6 +13,12 @@ struct S {
   Inner d;
 };
 
+template <typename T> struct Boxed {
+  T v = T();
+  int tag = 7;
+  Boxed(T x, int t) : v(x), tag(t) {}
+};
+
 int main() {
   S s;
   assert(s.a == 1);
@@ -21,5 +27,8 @@ int main() {
   assert(s.c.y == 4);
   assert(s.d.x == 3);
   assert(s.d.y == 4);
+  Boxed<int> boxed(5, 9);
+  assert(boxed.v == 5);
+  assert(boxed.tag == 9);
   return 0;
 };

tests/unit/out/refcount/in_class_field_initializer.rs

@@ -93,6 +93,54 @@ impl ByteRepr for S {
         }
     }
 }
+#[derive()]
+pub struct Boxed_int_ {
+    pub v: Value<i32>,
+    pub tag: Value<i32>,
+}
+impl Boxed_int_ {
+    pub fn Boxed_int_(x: i32, t: i32) -> Self {
+        let x: Value<i32> = Rc::new(RefCell::new(x));
+        let t: Value<i32> = Rc::new(RefCell::new(t));
+        let mut this = Self {
+            v: Rc::new(RefCell::new((*x.borrow()))),
+            tag: Rc::new(RefCell::new((*t.borrow()))),
+        };
+        this
+    }
+}
+impl Clone for Boxed_int_ {
+    fn clone(&self) -> Self {
+        let mut this = Self {
+            v: Rc::new(RefCell::new((*self.v.borrow()))),
+            tag: Rc::new(RefCell::new((*self.tag.borrow()))),
+        };
+        this
+    }
+}
+impl Default for Boxed_int_ {
+    fn default() -> Self {
+        Boxed_int_ {
+            v: <Value<i32>>::default(),
+            tag: <Value<i32>>::default(),
+        }
+    }
+}
+impl ByteRepr for Boxed_int_ {
+    fn byte_size() -> usize {
+        8
+    }
+    fn to_bytes(&self, buf: &mut [u8]) {
+        (*self.v.borrow()).to_bytes(&mut buf[0..4]);
+        (*self.tag.borrow()).to_bytes(&mut buf[4..8]);
+    }
+    fn from_bytes(buf: &[u8]) -> Self {
+        Self {
+            v: Rc::new(RefCell::new(<i32>::from_bytes(&buf[0..4]))),
+            tag: Rc::new(RefCell::new(<i32>::from_bytes(&buf[4..8]))),
+        }
+    }
+}
 pub fn main() {
     std::process::exit(main_0());
 }
@@ -104,5 +152,8 @@ fn main_0() -> i32 {
     assert!(((*(*(*s.borrow()).c.borrow()).y.borrow()) == 4));
     assert!(((*(*(*s.borrow()).d.borrow()).x.borrow()) == 3));
     assert!(((*(*(*s.borrow()).d.borrow()).y.borrow()) == 4));
+    let boxed: Value<Boxed_int_> = Rc::new(RefCell::new(Boxed_int_::Boxed_int_({ 5 }, { 9 })));
+    assert!(((*(*boxed.borrow()).v.borrow()) == 5));
+    assert!(((*(*boxed.borrow()).tag.borrow()) == 9));
     return 0;
 }

tests/unit/out/unsafe/in_class_field_initializer.rs

@@ -35,6 +35,26 @@ impl Default for S {
         }
     }
 }
+#[repr(C)]
+#[derive(Copy, Clone)]
+pub struct Boxed_int_ {
+    pub v: i32,
+    pub tag: i32,
+}
+impl Boxed_int_ {
+    pub unsafe fn Boxed_int_(mut x: i32, mut t: i32) -> Self {
+        let mut this = Self { v: x, tag: t };
+        this
+    }
+}
+impl Default for Boxed_int_ {
+    fn default() -> Self {
+        Boxed_int_ {
+            v: 0_i32,
+            tag: 0_i32,
+        }
+    }
+}
 pub fn main() {
     unsafe {
         std::process::exit(main_0() as i32);
@@ -48,5 +68,8 @@ unsafe fn main_0() -> i32 {
     assert!(((s.c.y) == (4)));
     assert!(((s.d.x) == (3)));
     assert!(((s.d.y) == (4)));
+    let mut boxed: Boxed_int_ = Boxed_int_::Boxed_int_({ 5 }, { 9 });
+    assert!(((boxed.v) == (5)));
+    assert!(((boxed.tag) == (9)));
     return 0;
 }