test: add more test cases for deducible parameters

Author: JohelEGP

regression-tests/pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2

@@ -71,6 +71,9 @@ main: () = {
   // Deducible parameters.
   _ = :v = 0;
   _ = :<T> (x: std::vector<T>) = {}(:std::vector<i32> = ());
+  _ = :<T> (x: std::vector<std::vector<T>>) = {}(:std::vector<std::vector<i32>> = ());
+  // Uncomment once `typename` is supported for template arguments.
+  // _ = :<T, U> (x: std::pair<T, typename U::value_type>, y: U) = {}(:std::pair = (0, 0), z);
   init(out z, z);
   id(z, z);
 

regression-tests/test-results/pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp

@@ -11,7 +11,7 @@
 template<typename T> class t;
 
 
-#line 105 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 108 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 template<typename T> class v;
 
 
@@ -45,15 +45,15 @@ template<typename T> auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>
 auto main() -> int;
 
 
-#line 105 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 108 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 template<typename T> class v {
   public: explicit v(T const& x);
-#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 109 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   public: auto operator=(T const& x) -> v& ;
 
   public: v(v const&) = delete; /* No 'that' constructor, suppress copy */
   public: auto operator=(v const&) -> void = delete;
-#line 107 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 110 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 };
 
 
@@ -123,6 +123,9 @@ auto main() -> int{
   // Deducible parameters.
   (void) v{0};
   (void) []<typename T>(std::vector<T> const& x) -> void{}(std::vector<cpp2::i32>{});
+  (void) []<typename T>(std::vector<std::vector<T>> const& x) -> void{}(std::vector<std::vector<cpp2::i32>>{});
+  // Uncomment once `typename` is supported for template arguments.
+  // _ = :<T, U> (x: std::pair<T, typename U::value_type>, y: U) = {}(:std::pair = (0, 0), z);
   init(cpp2::out(&z.value()), z.value());
   id(z.value(), std::move(z.value()));
 
@@ -154,11 +157,11 @@ auto main() -> int{
   }(0);
 }
 
-#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 109 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   template <typename T> v<T>::v(T const& x){}
-#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 109 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   template <typename T> auto v<T>::operator=(T const& x) -> v& {
                                   return *this;
-#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 109 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   }