Add rules for get<0> and get<1>

Author: lucic71

rules/pair/src.cpp

@@ -48,3 +48,19 @@ template <typename T1, typename T2> const T2 &f15(const std::pair<T1, T2> &a0) {
 template <typename T1, typename T2> const T1 &f16(const std::pair<T1, T2> &a0) {
   return a0.first;
 }
+
+template <typename T1, typename T2> T1 &f17(std::pair<T1, T2> &a0) {
+  return std::get<0>(a0);
+}
+
+template <typename T1, typename T2> T2 &f18(std::pair<T1, T2> &a0) {
+  return std::get<1>(a0);
+}
+
+template <typename T1, typename T2> const T1 &f19(const std::pair<T1, T2> &a0) {
+  return std::get<0>(a0);
+}
+
+template <typename T1, typename T2> const T2 &f20(const std::pair<T1, T2> &a0) {
+  return std::get<1>(a0);
+}

rules/pair/tgt_refcount.rs

@@ -68,3 +68,19 @@ fn f15<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T2> {
 fn f16<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T1> {
     a0.0
 }
+
+fn f17<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T1> {
+    a0.0
+}
+
+fn f18<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T2> {
+    a0.1
+}
+
+fn f19<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T1> {
+    a0.0
+}
+
+fn f20<T1, T2>(a0: (Value<T1>, Value<T2>)) -> Value<T2> {
+    a0.1
+}

rules/pair/tgt_unsafe.rs

@@ -37,3 +37,19 @@ unsafe fn f15<T1, T2>(a0: (T1, T2)) -> T2 {
 unsafe fn f16<T1, T2>(a0: (T1, T2)) -> T1 {
     a0.0
 }
+
+unsafe fn f17<T1, T2>(a0: (T1, T2)) -> T1 {
+    a0.0
+}
+
+unsafe fn f18<T1, T2>(a0: (T1, T2)) -> T2 {
+    a0.1
+}
+
+unsafe fn f19<T1, T2>(a0: (T1, T2)) -> T1 {
+    a0.0
+}
+
+unsafe fn f20<T1, T2>(a0: (T1, T2)) -> T2 {
+    a0.1
+}