fix(parse): add missing condition for "inside initializer" (#599)

* fix(parse): add missing condition for "inside initializer"

* test: use the test case from #597

Author: JohelEGP

regression-tests/pure2-bugfix-for-non-local-initialization.cpp2

@@ -0,0 +1,8 @@
+u: type == std::array<i32, 2>;
+t: @struct type = {
+  this: std::integral_constant<u, :u = (17, 29)>;
+}
+main: () = {
+  [[assert Testing: t::value[0] == 17]]
+  [[assert Testing: t::value[1] == 29]]
+}

regression-tests/test-results/clang-18/pure2-bugfix-for-non-local-initialization.cpp.execution

@@ -0,0 +1,32 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+#line 2 "pure2-bugfix-for-non-local-initialization.cpp2"
+class t;
+  
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "pure2-bugfix-for-non-local-initialization.cpp2"
+using u = std::array<cpp2::i32,2>;
+class t: public std::integral_constant<u,u{17, 29}> {
+
+};
+auto main() -> int;
+  
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 5 "pure2-bugfix-for-non-local-initialization.cpp2"
+auto main() -> int{
+  cpp2::Testing.expects(cpp2::assert_in_bounds(t::value, 0)==17, "");
+  cpp2::Testing.expects(cpp2::assert_in_bounds(t::value, 1)==29, "");
+}
+

regression-tests/test-results/clang-18/pure2-bugfix-for-non-local-initialization.cpp.output

@@ -0,0 +1,2 @@
+pure2-bugfix-for-non-local-initialization.cpp2... ok (all Cpp2, passes safety checks)
+

regression-tests/test-results/pure2-bugfix-for-non-local-initialization.cpp

@@ -4161,6 +4161,7 @@ class parser
                    curr().type() != lexeme::Semicolon
                 && curr().type() != lexeme::RightParen
                 && curr().type() != lexeme::RightBracket
+                && curr().type() != lexeme::Greater
                 && curr().type() != lexeme::Comma
             ) {
                 expr_list->inside_initializer = false;
@@ -5031,20 +5032,20 @@ class parser
                         }
                         return expression(false);   // false == disallow unparenthesized relational comparisons in template args
                     }()
-                ) 
+                )
                 {
                     term.arg = std::move(e);
                 }
-                    
+
                 //  Else try parsing it as a type id
                 else if (auto i = type_id()) {
                     term.arg = std::move(i);
                 }
-                    
+
                 else {
                     break;
                 }
-                
+
                 n->template_args.push_back( std::move(term) );
             }
             //  Use the lambda trick to jam in a "next" clause