Add rules for map iterator

Author: lucic71

rules/pair/src.cpp

@@ -5,6 +5,8 @@
 
 template <typename T1, typename T2> using t1 = std::pair<T1, T2>;
 
+template <typename T1, typename T2> using t2 = std::pair<const T1, T2>;
+
 template <typename T1, typename T2> T2 &f1(std::pair<T1, T2> &o) {
   return o.second;
 }
@@ -63,3 +65,17 @@ template <typename T1, typename T2>
 std::pair<T1, T2> &f14(std::pair<T1, T2> &dst, std::pair<T1, T2> &&src) {
   return dst.operator=(std::move(src));
 }
+
+template <typename T1, typename T2>
+const T1 &f15(std::pair<const T1, T2> &a0) {
+  return a0.first;
+}
+
+template <typename T1, typename T2> T2 &f16(std::pair<const T1, T2> &o) {
+  return o.second;
+}
+
+template <typename T1, typename T2>
+std::pair<const T1, T2> f17(const std::pair<const T1, T2> &a0) {
+  return std::pair<const T1, T2>(a0);
+}

rules/pair/tgt_refcount.rs

@@ -12,6 +12,13 @@ fn t1<T1: Default, T2: Default>() -> (Value<T1>, Value<T2>) {
     )
 }
 
+fn t2<T1: Default, T2: Default>() -> (Value<T1>, Value<T2>) {
+    (
+        Rc::new(RefCell::new(T1::default())),
+        Rc::new(RefCell::new(T2::default())),
+    )
+}
+
 fn f1<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T2> {
     a0.1
 }
@@ -89,3 +96,18 @@ fn f14<T1: Default + ByteRepr, T2: Default + ByteRepr>(
 ) {
     a0.write(std::mem::take(&mut *a1))
 }
+
+fn f15<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T1> {
+    a0.0
+}
+
+fn f16<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T2> {
+    a0.1
+}
+
+fn f17<T1: Clone, T2: Clone>(a0: (Value<T1>, Value<T2>)) -> (Value<T1>, Value<T2>) {
+    (
+        Rc::new(RefCell::new(a0.0.borrow().clone())),
+        Rc::new(RefCell::new(a0.1.borrow().clone())),
+    )
+}

rules/pair/tgt_unsafe.rs

@@ -5,6 +5,10 @@ fn t1<T1: Default, T2: Default>() -> (T1, T2) {
     <(T1, T2)>::default()
 }
 
+fn t2<T1: Default, T2: Default>() -> (T1, T2) {
+    <(T1, T2)>::default()
+}
+
 unsafe fn f1<T1, T2>(a0: (T1, T2)) -> T2 {
     a0.1
 }
@@ -45,3 +49,15 @@ unsafe fn f13<T1: Clone, T2: Clone>(a0: &mut (T1, T2), a1: (T1, T2)) {
 unsafe fn f14<T1: Default, T2: Default>(a0: &mut (T1, T2), a1: &mut (T1, T2)) {
     *a0 = std::mem::take(&mut *a1)
 }
+
+unsafe fn f15<T1, T2>(a0: (T1, T2)) -> T1 {
+    a0.0
+}
+
+unsafe fn f16<T1, T2>(a0: (T1, T2)) -> T2 {
+    a0.1
+}
+
+unsafe fn f17<T1: Clone, T2: Clone>(a0: (T1, T2)) -> (T1, T2) {
+    a0.clone()
+}