Add size_type for each container

Author: lucic71

rules/array/src.cpp

@@ -6,6 +6,9 @@
 template <typename T1, std::size_t T2>
 using t1 = std::array<T1, T2>;
 
+template <typename T1, std::size_t T2>
+using t2 = typename std::array<T1, T2>::size_type;
+
 template <typename T1, std::size_t T2>
 const T1 *f1(const std::array<T1, T2> &o) {
   return o.data();

rules/array/tgt_unsafe.rs

@@ -7,6 +7,10 @@ fn t1<T1>() -> Vec<T1> {
     Default::default()
 }
 
+fn t2() -> usize {
+    0_usize
+}
+
 unsafe fn f1<T1>(a0: Vec<T1>) -> *const T1 {
     a0.as_ptr()
 }

rules/deque/src.cpp

@@ -8,6 +8,8 @@
 
 template <typename T1> using t1 = std::deque<T1>;
 
+template <typename T1> using t2 = typename std::deque<T1>::size_type;
+
 template <typename T1> T1 &f1(std::deque<T1> &o) { return o.back(); }
 
 template <typename T1> T1 &f2(std::deque<T1> &o) { return o.front(); }

rules/deque/tgt_unsafe.rs

@@ -9,6 +9,10 @@ fn t1<T1>() -> Vec<T1> {
     Default::default()
 }
 
+fn t2() -> usize {
+    0_usize
+}
+
 unsafe fn f1<T1>(a0: &mut Vec<T1>) -> *const T1 {
     (a0.last_mut().unwrap())
 }

rules/initializer_list/src.cpp

@@ -5,6 +5,9 @@
 
 template <typename T1> using t1 = std::initializer_list<T1>;
 
+template <typename T1>
+using t2 = typename std::initializer_list<T1>::size_type;
+
 template <typename T1>
 typename std::initializer_list<T1>::size_type f1(std::initializer_list<T1> &o) {
   return o.size();

rules/initializer_list/tgt_unsafe.rs

@@ -7,6 +7,10 @@ fn t1<T1>() -> Vec<T1> {
     Default::default()
 }
 
+fn t2() -> usize {
+    0_usize
+}
+
 unsafe fn f1<T1>(a0: Vec<T1>) -> usize {
     a0.len()
 }

rules/map/src.cpp

@@ -12,6 +12,9 @@ using t2 = typename std::map<T1, T2>::const_iterator;
 template <typename T1, typename T2>
 using t3 = typename std::map<T1, T2>::iterator;
 
+template <typename T1, typename T2>
+using t4 = typename std::map<T1, T2>::size_type;
+
 template <typename T1, typename T2> T2 &f1(std::map<T1, T2> &o, const T1 &key) {
   return o.operator[](key);
 }

rules/map/tgt_unsafe.rs

@@ -16,6 +16,10 @@ fn t3<T1: Clone + Ord, T2>() -> UnsafeMapIterator<T1, T2> {
     UnsafeMapIterator::null()
 }
 
+fn t4() -> usize {
+    0_usize
+}
+
 unsafe fn f1<T1: Ord + Clone, T2: Default>(a0: &mut BTreeMap<T1, Box<T2>>, a1: T1) -> &mut T2 {
     a0.entry(a1).or_default().as_mut()
 }

rules/vector/src.cpp

@@ -22,6 +22,8 @@ template <typename T1, typename T2 = std::allocator<T1>>
 using t7 = typename std::vector<T1, T2>::const_iterator;
 #endif
 
+template <typename T1> using t8 = typename std::vector<T1>::size_type;
+
 template <typename T1>
 typename std::vector<T1>::iterator
 f1(std::vector<T1> &o, typename std::vector<T1>::const_iterator it) {

rules/vector/tgt_unsafe.rs

@@ -33,6 +33,10 @@ fn t7<T1>() -> *const T1 {
     Default::default()
 }
 
+fn t8() -> usize {
+    0_usize
+}
+
 unsafe fn f1<T1>(a0: &mut Vec<T1>, a1: *const T1) -> *const T1 {
     let pos = a1.offset_from(a0.as_ptr()) as usize;
     a0.remove(pos);