Start to do a javascript metafunction, and fix pointer parameter passing lowering

Author: hsutter

regression-tests/test-results/clang-12-c++20/pure2-default-arguments.cpp.output

@@ -1,4 +1,4 @@
-pure2-default-arguments.cpp2:6:61: error: no member named 'source_location' in namespace 'std'
-    char const* fn = CPP2_UFCS_NONLOCAL(function_name)(std::source_location::current())
-                                                       ~~~~~^
+pure2-default-arguments.cpp2:6:77: error: no member named 'source_location' in namespace 'std'
+    cpp2::impl::in<char const*> fn = CPP2_UFCS_NONLOCAL(function_name)(std::source_location::current())
+                                                                       ~~~~~^
 1 error generated.

regression-tests/test-results/gcc-10-c++20/pure2-default-arguments.cpp.output

@@ -4,23 +4,23 @@ In file included from pure2-default-arguments.cpp:7:
 ../../../include/cpp2util.h:10047:15: note: in expansion of macro ‘CPP2_FORWARD’
 ../../../include/cpp2util.h:10066:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
 ../../../include/cpp2util.h:10096:59: note: in expansion of macro ‘CPP2_UFCS_’
-pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
+pure2-default-arguments.cpp2:6:38: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:10047:92: error: local variable ‘params’ may not appear in this context
 ../../../include/cpp2util.h:10008:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
 ../../../include/cpp2util.h:10047:79: note: in expansion of macro ‘CPP2_FORWARD’
 ../../../include/cpp2util.h:10066:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
 ../../../include/cpp2util.h:10096:59: note: in expansion of macro ‘CPP2_UFCS_’
-pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
+pure2-default-arguments.cpp2:6:38: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:10048:74: error: local variable ‘obj’ may not appear in this context
 ../../../include/cpp2util.h:10008:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
 ../../../include/cpp2util.h:10048:61: note: in expansion of macro ‘CPP2_FORWARD’
 ../../../include/cpp2util.h:10066:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
 ../../../include/cpp2util.h:10096:59: note: in expansion of macro ‘CPP2_UFCS_’
-pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
+pure2-default-arguments.cpp2:6:38: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:10048:93: error: local variable ‘params’ may not appear in this context
 ../../../include/cpp2util.h:10008:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
 ../../../include/cpp2util.h:10048:80: note: in expansion of macro ‘CPP2_FORWARD’
 ../../../include/cpp2util.h:10066:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
 ../../../include/cpp2util.h:10096:59: note: in expansion of macro ‘CPP2_UFCS_’
-pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
-pure2-default-arguments.cpp2:6:61: error: ‘std::source_location’ has not been declared
+pure2-default-arguments.cpp2:6:38: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
+pure2-default-arguments.cpp2:6:77: error: ‘std::source_location’ has not been declared

regression-tests/test-results/msvc-2022-c++latest/pure2-default-arguments.cpp.output

@@ -1 +1,2 @@
 pure2-default-arguments.cpp
+pure2-default-arguments.cpp2(6): error C7595: 'std::source_location::current': call to immediate function is not a constant expression

regression-tests/test-results/pure2-default-arguments.cpp

@@ -21,7 +21,7 @@ template<typename T = int, int N = 42> class myclass;
 //        Older compilers will emit failures for this test case.
 #line 5 "pure2-default-arguments.cpp2"
 auto my_function_name(
-    char const* fn = CPP2_UFCS_NONLOCAL(function_name)(std::source_location::current())
+    cpp2::impl::in<char const*> fn = CPP2_UFCS_NONLOCAL(function_name)(std::source_location::current())
     ) -> void;
 
 #line 12 "pure2-default-arguments.cpp2"
@@ -58,7 +58,7 @@ auto main(int const argc_, char** argv_) -> int;
 
 #line 5 "pure2-default-arguments.cpp2"
 auto my_function_name(
-    char const* fn
+    cpp2::impl::in<char const*> fn
     ) -> void
 {
     std::cout << "calling: " + cpp2::to_string(fn) + "\n";

regression-tests/test-results/pure2-types-order-independence-and-nesting.cpp

@@ -64,9 +64,9 @@ class X {
 class Y {
     private: X* px; 
 
-    public: Y(X* x);
+    public: Y(cpp2::impl::in<X*> x);
 #line 49 "pure2-types-order-independence-and-nesting.cpp2"
-    public: auto operator=(X* x) -> Y& ;
+    public: auto operator=(cpp2::impl::in<X*> x) -> Y& ;
 
     public: auto why(cpp2::impl::in<int> count) const& -> void;
     public: Y(Y const&) = delete; /* No 'that' constructor, suppress copy */
@@ -157,10 +157,10 @@ namespace N {
     }
 
 #line 49 "pure2-types-order-independence-and-nesting.cpp2"
-    Y::Y(X* x)
+    Y::Y(cpp2::impl::in<X*> x)
                                      : px{ x }{}
 #line 49 "pure2-types-order-independence-and-nesting.cpp2"
-    auto Y::operator=(X* x) -> Y& {
+    auto Y::operator=(cpp2::impl::in<X*> x) -> Y& {
                                      px = x;
                                      return *this; }
 

regression-tests/test-results/version

@@ -1,4 +1,4 @@
 
-cppfront compiler v0.8.2 Build A826:0706
+cppfront compiler v0.8.2 Build A827:1455
 SPDX-License-Identifier  Apache-2.0 WITH LLVM-exception
 Copyright (c) 2022-2025  Herb Sutter

source/build.info

@@ -1 +1 @@
-"A826:0706"
+"A827:1455"

source/parse.h

@@ -3542,6 +3542,7 @@ struct declaration_node
     //  Attributes currently configurable only via metafunction API,
     //  not directly in the base language grammar
     bool member_function_generation = true;
+    bool ref_qualifier_generation   = true;
 
     //  Cache some context
     bool is_a_template_parameter  = false;
@@ -3637,6 +3638,12 @@ struct declaration_node
         member_function_generation = false;
     }
 
+    auto type_disable_ref_qualifier_generation()
+        -> void
+    {
+        ref_qualifier_generation = false;
+    }
+
     auto object_type() const
         -> std::string
     {