test: use primaries and specializations in test cases

Author: JohelEGP

regression-tests/pure2-template-specialization.cpp2

@@ -1,3 +1,14 @@
-t: @struct <T: type> type                         = { }
-t: @struct <T: type> type < T> type requires true = { }
-main: ()                                          = { }
+t: @struct <T: type> type = {
+  a: i32 = 1;
+}
+t: @struct <T: type> type < T> type requires std::is_void_v < T> = {
+  b: i32 = 2;
+}
+v: <T> i32 = 1; // clang-format off
+v: <> type<void> i32 = 2; // clang-format on
+main: ()   = {
+  [[assert Testing: t<i32>().a == 1]]
+  [[assert Testing: t<void>().b == 2]]
+  [[assert Testing: (v<i32>) == 1]]
+  [[assert Testing: (v<void>) == 2]]
+}

regression-tests/test-results/pure2-template-specialization.cpp

@@ -7,20 +7,33 @@
 #include "cpp2util.h"
 
 #line 1 "pure2-template-specialization.cpp2"
-template   <typename T> class t;
-
+template<typename T> class t;
+  
 
 //=== Cpp2 type definitions and function declarations ===========================
 
 #line 1 "pure2-template-specialization.cpp2"
-template   <typename T> class t                    {  };
-template<typename T> requires( true )
-class t<T> {};auto main() -> int;
-
+template<typename T> class t {
+  public: cpp2::i32 a {1}; 
+};
+template<typename T> requires( std::is_void_v<T> )
+  class t<T> {public: cpp2::i32 b {2}; 
+};
+template<typename T> extern cpp2::i32 v;// clang-format off
+template<> extern cpp2::i32 v<void>;// clang-format on
+auto main() -> int;
+  
 
 //=== Cpp2 function definitions =================================================
 
 
-#line 3 "pure2-template-specialization.cpp2"
-auto main() -> int                                {}
+#line 7 "pure2-template-specialization.cpp2"
+template<typename T> cpp2::i32 v {1}; 
+template<> cpp2::i32 v<void> {2}; 
+auto main() -> int{
+  cpp2::Testing.expects(t<cpp2::i32>().a==1, "");
+  cpp2::Testing.expects(t<void>().b==2, "");
+  cpp2::Testing.expects((v<cpp2::i32>)==1, "");
+  cpp2::Testing.expects((v<void>)==2, "");
+}