test: add test case for value-dependent

Author: JohelEGP

regression-tests/pure2-bugfix-for-dependent-types.cpp2

@@ -10,6 +10,7 @@ f: <T, V: T::value_type> (x: T::value_type) -> T::value_type = {
   // Dependent *template-id*s.
   _ = :identity<T>::value_type = ();      // First identifier.
   _ = :std::optional<T>::value_type = (); // Non-first identifier.
+  _ = :std::array<i32, T::value>::value_type = ();
 
   // Emitted `template`.
   ptr: type  == * T;                                 // Needed, pending #502.

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

@@ -7,7 +7,7 @@
 #include "cpp2util.h"
 
 
-#line 46 "pure2-bugfix-for-dependent-types.cpp2"
+#line 47 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T> class t;
 
 
@@ -19,14 +19,14 @@ template<typename T> using identity = T;
 template<typename T, T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::value_type> x) -> T::value_type;
 
 
-#line 46 "pure2-bugfix-for-dependent-types.cpp2"
+#line 47 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T> class t {
 struct u_x_as_base { T::value_type x; };
 
-#line 47 "pure2-bugfix-for-dependent-types.cpp2"
+#line 48 "pure2-bugfix-for-dependent-types.cpp2"
   public: class u: public u_x_as_base, public T::type {
 
-#line 50 "pure2-bugfix-for-dependent-types.cpp2"
+#line 51 "pure2-bugfix-for-dependent-types.cpp2"
   };
   public: T::value_type x {0}; 
 };
@@ -48,6 +48,7 @@ template<typename T, T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::
   // Dependent *template-id*s.
   (void) typename identity<T>::value_type{};// First identifier.
   (void) typename std::optional<T>::value_type{};// Non-first identifier.
+  (void) typename std::array<cpp2::i32,T::value>::value_type{};
 
   // Emitted `template`.
   using ptr = T*;                                    // Needed, pending #502.
@@ -81,7 +82,7 @@ template<typename T, T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::
   }
 }
 
-#line 54 "pure2-bugfix-for-dependent-types.cpp2"
+#line 55 "pure2-bugfix-for-dependent-types.cpp2"
 auto main() -> int{
   using zero = std::integral_constant<cpp2::i32,0>;
   (void) f<zero,0>(0);