feat(parse)!: introduce specialization with 'specialize'

Author: JohelEGP

regression-tests/pure2-template-specialization.cpp2

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

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

@@ -22,8 +22,8 @@ template<typename T> requires( std::is_void_v<T> )
 template<> class t<cpp2::i64> {
   public: cpp2::i32 c {3}; 
 };
-template<typename T> extern cpp2::i32 v;// clang-format off
-                          // clang-format on
+template<typename T> extern cpp2::i32 v;
+
 auto main() -> int;
 
 

source/parse.h

@@ -6473,7 +6473,7 @@ class parser
     //G     '<' parameter-declaration-seq? '>'
     //G
     //G template-specialization-argument-list:
-    //G     'type' '<' template-argument-list '>'
+    //G     'specialize' '<' template-argument-list '>'
     //G
     auto unnamed_declaration(
         source_position                      start,
@@ -6612,7 +6612,7 @@ class parser
 
         //  Next is an optional template specialization argument list
         if (
-            curr() == "type"
+            curr() == "specialize"
             && peek(1)
             && peek(1)->type() == lexeme::Less
             )