Default initialize function argument

Author: sookach

regression-tests/mixed-default-arguments.cpp2

@@ -0,0 +1,10 @@
+auto cxx(int x, std::string y) -> void {}
+
+cxx2 : (x : int, y : std::string) = {}
+
+main : () = {
+	cxx(1, "test");
+	cxx((), ());
+	cxx2(1, "test");
+	cxx2((), ());
+}

regression-tests/test-results/apple-clang-14-c++2b/mixed-default-arguments.cpp.execution

@@ -0,0 +1,35 @@
+
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+#line 1 "mixed-default-arguments.cpp2"
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "mixed-default-arguments.cpp2"
+auto cxx(int x, std::string y) -> void {}
+
+#line 3 "mixed-default-arguments.cpp2"
+auto cxx2(cpp2::impl::in<int> x, cpp2::impl::in<std::string> y) -> void;
+
+auto main() -> int;
+
+//=== Cpp2 function definitions =================================================
+
+#line 1 "mixed-default-arguments.cpp2"
+
+#line 3 "mixed-default-arguments.cpp2"
+auto cxx2(cpp2::impl::in<int> x, cpp2::impl::in<std::string> y) -> void{}
+
+#line 5 "mixed-default-arguments.cpp2"
+auto main() -> int{
+ cxx(1, "test");
+ cxx({}, {});
+ cxx2(1, "test");
+ cxx2({}, {});
+}
+

regression-tests/test-results/apple-clang-14-c++2b/mixed-default-arguments.cpp.output

@@ -0,0 +1,2 @@
+mixed-default-arguments.cpp2... ok (mixed Cpp1/Cpp2, Cpp2 code passes safety checks)
+

regression-tests/test-results/apple-clang-15-c++2b/mixed-default-arguments.cpp.execution

@@ -661,6 +661,7 @@ struct expression_list_node
     token const* open_paren  = {};
     token const* close_paren = {};
     bool inside_initializer  = false;
+    bool default_initializer = false;
 
     struct term {
         passing_style                    pass = {};
@@ -5393,6 +5394,7 @@ class parser
     };
     mutable std::vector<function_body_extent> function_body_extents;
     mutable bool                              is_function_body_extents_sorted = false;
+    bool                                      is_inside_call_expr = false;
 
 public:
     auto is_within_function_body(source_position p) const
@@ -5747,6 +5749,8 @@ class parser
                 expr_list->inside_initializer = false;
             }
             n->expression_list_is_fold_expression = expr_list->is_fold_expression();
+            expr_list->default_initializer =
+                is_inside_call_expr && std::empty(expr_list->expressions);
             n->expr = std::move(expr_list);
             return n;
         }
@@ -5899,8 +5903,10 @@ class parser
                 //  Next should be an expression-list followed by a ')'
                 //  If not, then this wasn't a call expression so backtrack to
                 //  the '(' which will be part of the next grammar production
-
+		        is_inside_call_expr = true;
                 term.expr_list = expression_list(term.op, lexeme::RightParen);
+		        is_inside_call_expr = false;
+
                 if (
                     term.expr_list
                     && curr().type() == lexeme::RightParen

regression-tests/test-results/apple-clang-15-c++2b/mixed-default-arguments.cpp.output

@@ -3959,6 +3959,11 @@ class cppfront
     )
         -> void
     {   STACKINSTR
+        if (n.default_initializer) {
+          printer.print_cpp2("{}", n.position());
+          return;
+        }
+
         auto add_parens =
             should_add_expression_list_parens()
             && !n.inside_initializer