Merge branch 'main' into lsp-main

Author: vanceism7

.github/workflows/docs.yml

@@ -10,10 +10,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/setup-python@v4
+      - uses: actions/setup-python@v5
         with:
           python-version: 3.x
-      - uses: actions/cache@v2
+      - uses: actions/cache@v4
         with:
           key: ${{ github.ref }}
           path: .cache

build_h2.bat

@@ -0,0 +1,6 @@
+@echo off
+cd source
+cppfront reflect.h2 -verb
+cd ..\include
+cppfront cpp2regex.h2 -verb
+cd..

docs/cpp2/functions.md

@@ -388,10 +388,12 @@ In a function body, a **definite last use** of a local name is a single use of t
 
 For each definite last use:
 
-- If the name is a local object or a `copy` or `move` parameter, we know the object will not be used again before being destroyed, and so the object is automatically treated as an rvalue (move candidate). If the expression that contains the last use is able to move from the rvalue, the move will happen automatically.
+- If the name is a `copy` or `move` parameter or is a local object whose name does not start with `guard`, we know the object will not be used again before being destroyed, and so the object is automatically treated as an rvalue (move candidate). If the expression that contains the last use is able to move from the rvalue, the move will happen automatically.
 
 - If the name is a `forward` parameter, the object is automatically forwarded to preserve its constness and value category (`std::forward`-ed).
 
+> Note: This gives language meaning to a naming convention of `guard` as a name prefix for "guard" stack objects, such as local `std::scoped_lock` objects, whose destructors are always the object's real last use.
+
 For example:
 
 ``` cpp title="Definite last uses" linenums="1" hl_lines="13 16 19 21"

gen_build.bat

@@ -0,0 +1,4 @@
+@echo off
+cppfront -_gen_build > source\build.info
+@echo Build stamp updated to:
+type source\build.info

include/cpp2regex.h

@@ -149,7 +149,7 @@ template<typename CharT, typename Iter, int max_groups> class match_context
 
     private: std::array<match_group<Iter>,max_groups> groups {}; 
 
-    public: explicit match_context(Iter const& begin_, Iter const& end_);
+    public: match_context(Iter const& begin_, Iter const& end_);
 
 #line 68 "cpp2regex.h2"
     public: match_context(match_context const& that);
@@ -212,7 +212,7 @@ template<typename Func> class on_return
  {
     private: Func func; 
 
-    public: explicit on_return(Func const& f);
+    public: on_return(Func const& f);
 #line 136 "cpp2regex.h2"
     public: auto operator=(Func const& f) -> on_return& ;
 
@@ -577,7 +577,7 @@ template<typename CharT, typename matcher_wrapper> class regular_expression
         public: context<Iter> ctx; 
         public: int pos; 
 
-        public: explicit search_return(cpp2::impl::in<bool> matched_, context<Iter> const& ctx_, Iter const& pos_);
+        public: search_return(cpp2::impl::in<bool> matched_, context<Iter> const& ctx_, Iter const& pos_);
 
 #line 690 "cpp2regex.h2"
         public: [[nodiscard]] auto group_number() const& -> decltype(auto);

include/cpp2util.h

@@ -38,7 +38,8 @@ d: _ == t<o.f()>(); // Fails on Clang 12 (lambda in unevaluated context).
 
 u: @struct type = {
   b: bool == o.f();
-  c: bool == :(forward x: decltype(o.f())) = x;(true); // Fails on Clang 12 (lambda in unevaluated context).
+  // UFCS used in the decltype in the line below causes all compilers to report error/crash
+  c: bool == :(forward x: decltype(f(o))) = x;(true); // Fails on Clang 12 (lambda in unevaluated context).
   g: (s, sz) pre(s.sz() != 0) = { }
 }
 

regression-tests/mixed-bugfix-for-ufcs-non-local.cpp2

@@ -0,0 +1,2 @@
+123
+0

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

@@ -0,0 +1 @@
+hi ho hum

regression-tests/test-results/apple-clang-14-c++2b/pure2-function-single-expression-body-default-return.cpp.execution

@@ -0,0 +1 @@
+12145505332166550543