Add rule for deque default constructor

Author: lucic71

rules/deque/src.cpp

@@ -53,3 +53,5 @@ std::vector<T1> &f13(std::deque<std::vector<T1>> &o,
                      Init<std::vector<T1>, Args> &&...args) {
   return o.emplace_back(std::forward<Args>(args)...);
 }
+
+template <typename T1> std::deque<T1> f14() { return std::deque<T1>(); }

rules/deque/tgt_unsafe.rs

@@ -58,3 +58,7 @@ unsafe fn f13<T1>(a0: &mut Vec<Vec<T1>>, init: Vec<T1>) {
     let __init = init;
     a0.push(__init)
 }
+
+unsafe fn f14<T1>() -> Vec<T1> {
+    Vec::new()
+}

tests/unit/out/refcount/push_emplace_back.rs

@@ -475,7 +475,7 @@ fn main_0() -> i32 {
             .borrow())
                 == 10)
     );
-    let queue: Value<Vec<Pair>> = Rc::new(RefCell::new(Default::default()));
+    let queue: Value<Vec<Pair>> = Rc::new(RefCell::new(Vec::new()));
     ({ emplace_deque_8((queue.as_pointer())) });
     assert!(
         ((*(*(queue.as_pointer() as Ptr<Pair>).upgrade().deref())

tests/unit/out/unsafe/push_emplace_back.rs

@@ -197,7 +197,7 @@ unsafe fn main_0() -> i32 {
     assert!(((pairs[(0_usize)].first) == (-1_i32)) && ((pairs[(0_usize)].second) == (-1_i32)));
     assert!(((pairs[(1_usize)].first) == (3)) && ((pairs[(1_usize)].second) == (0)));
     assert!(((pairs[(2_usize)].first) == (4)) && ((pairs[(2_usize)].second) == (10)));
-    let mut queue: Vec<Pair> = Default::default();
+    let mut queue: Vec<Pair> = Vec::new();
     (unsafe { emplace_deque_8((&mut queue as *mut Vec<Pair>)) });
     assert!(
         (((*((queue).first_mut().unwrap())).first) == (6))