feat(cpp1): recognize template specialization

Author: JohelEGP

regression-tests/pure2-template-specialization.cpp2

@@ -1,2 +1,3 @@
-t: @struct <T: type> type < T> type = { }
-main: ()                            = { }
+t: @struct <T: type> type                         = { }
+t: @struct <T: type> type < T> type requires true = { }
+main: ()                                          = { }

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

@@ -7,19 +7,21 @@
 #include "cpp2util.h"
 
 #line 1 "pure2-template-specialization.cpp2"
-template<typename T> class t;
-
+template   <typename T> class t;
+template<typename T> requires( true )
+class t<T>;
 
 //=== Cpp2 type definitions and function declarations ===========================
 
 #line 1 "pure2-template-specialization.cpp2"
-template<typename T> class t {};
-auto main() -> int;
+template   <typename T> class t                    {  };
+template<typename T> requires( true )
+class t<T> {};auto main() -> int;
 
 
 //=== Cpp2 function definitions =================================================
 
 
-#line 2 "pure2-template-specialization.cpp2"
-auto main() -> int                  {}
+#line 3 "pure2-template-specialization.cpp2"
+auto main() -> int                                {}
 

source/cppfront.cpp

@@ -1617,7 +1617,8 @@ class cppfront
         unqualified_id_node const& n,
         bool in_synthesized_multi_return = false,
         bool is_local_name = true,
-        bool is_qualified = false
+        bool is_qualified = false,
+        bool emit_identifier = true
     )
         -> void
     {
@@ -1667,7 +1668,9 @@ class cppfront
         }
 
         assert(n.identifier);
-        emit(*n.identifier, is_qualified);  // inform the identifier if we know this is qualified
+        if (emit_identifier) {
+            emit(*n.identifier, is_qualified);  // inform the identifier if we know this is qualified
+        }
 
         if (n.open_angle != source_position{}) {
             printer.print_cpp2("<", n.open_angle);
@@ -4884,6 +4887,7 @@ class cppfront
             printer.get_phase() == printer.phase0_type_decls
             && !n.is_namespace()
             && !n.is_type()
+            && n.specialization_template_arguments == nullptr
             )
         {
             return;
@@ -5179,6 +5183,9 @@ class cppfront
 
                 printer.print_cpp2("class ", n.position());
                 emit(*n.identifier);
+                if (n.specialization_template_arguments) {
+                    emit(*n.specialization_template_arguments, false, true, false, false);
+                }
 
                 //  Type declaration
                 if (printer.get_phase() == printer.phase0_type_decls) {
@@ -5896,6 +5903,9 @@ class cppfront
             }
             else {
                 emit(*n.identifier);
+                if (n.specialization_template_arguments) {
+                    emit(*n.specialization_template_arguments, false, true, false, false);
+                }
             }
 
             if (