Update regression tests incl. to merge effects of parallel PRs

And bump build number

Author: hsutter

regression-tests/test-results/clang-12/pure2-types-down-upcast.cpp.execution

@@ -0,0 +1,24 @@
+const foo 
+const foo 
+const foo 
+const foo 
+foo 
+foo 
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B mut: 0.000000
+Call B mut: 0.000000
+Call A mut: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A mut: 0
+Call B mut: 0.000000
+Call A mut: 0

regression-tests/test-results/clang-12/pure2-types-down-upcast.cpp.output

@@ -1,13 +1,13 @@
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:36: error: expected ‘;’ at end of member declaration
 In file included from pure2-bugfix-for-requires-clause-in-forward-declaration.cpp:7:
-../../../include/cpp2util.h:1758:47: error: static assertion failed: GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.
- 1758 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
+../../../include/cpp2util.h:1770:47: error: static assertion failed: GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.
+ 1770 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
       |                                               ^~~~~
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:4:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:46: error: expected ‘;’ at end of member declaration
 In file included from pure2-bugfix-for-requires-clause-in-forward-declaration.cpp:7:
-../../../include/cpp2util.h:1758:47: error: static assertion failed: GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.
- 1758 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
+../../../include/cpp2util.h:1770:47: error: static assertion failed: GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.
+ 1770 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
       |                                               ^~~~~
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:4:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:3: error: no declaration matches ‘element::element(auto:80&&) requires  is_same_v<typename std::remove_cv<typename std::remove_reference<decltype(element::__ct ::n)>::type>::type, std::__cxx11::string>’

regression-tests/test-results/gcc-10/pure2-bugfix-for-requires-clause-in-forward-declaration.cpp.output

@@ -1,5 +1,5 @@
 In file included from pure2-requires-clauses.cpp:7:
-../../../include/cpp2util.h:1758:33: error: expected unqualified-id before ‘static_assert’
- 1758 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
+../../../include/cpp2util.h:1770:33: error: expected unqualified-id before ‘static_assert’
+ 1770 |     #define CPP2_REQUIRES_(...) static_assert(false, "GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.")
       |                                 ^~~~~~~~~~~~~
 pure2-requires-clauses.cpp2:19:1: note: in expansion of macro ‘CPP2_REQUIRES_’

regression-tests/test-results/gcc-10/pure2-requires-clauses.cpp.output

@@ -0,0 +1,24 @@
+const foo 
+const foo 
+const foo 
+const foo 
+foo 
+foo 
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B mut: 0.000000
+Call B mut: 0.000000
+Call A mut: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A mut: 0
+Call B mut: 0.000000
+Call A mut: 0

regression-tests/test-results/gcc-13/pure2-types-down-upcast.cpp.execution

@@ -0,0 +1,24 @@
+const foo 
+const foo 
+const foo 
+const foo 
+foo 
+foo 
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B const: 0.000000
+Call B const: 0.000000
+Call A const: 0
+Call B mut: 0.000000
+Call B mut: 0.000000
+Call A mut: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A const: 0
+Call B const: 0.000000
+Call A const: 0
+Call A mut: 0
+Call B mut: 0.000000
+Call A mut: 0

regression-tests/test-results/gcc-13/pure2-types-down-upcast.cpp.output

@@ -0,0 +1 @@
+pure2-types-down-upcast.cpp

regression-tests/test-results/msvc-2022/pure2-types-down-upcast.cpp.execution

@@ -20,8 +20,8 @@ class B;
 class A {
   public: int i {0}; 
 
- public: virtual auto const_foo() const -> void;
- public: auto mut_foo() -> void;
+ public: virtual auto const_foo() const& -> void;
+ public: auto mut_foo() & -> void;
 
   public: A() = default;
   public: A(A const&) = delete; /* No 'that' constructor, suppress copy */
@@ -67,8 +67,8 @@ auto test_down() -> void;
 
 
 #line 4 "pure2-types-down-upcast.cpp2"
- auto A::const_foo() const -> void{std::cout << "const foo \n"; }
- auto A::mut_foo() -> void{std::cout << "foo \n"; }
+ auto A::const_foo() const& -> void{std::cout << "const foo \n"; }
+ auto A::mut_foo() & -> void{std::cout << "foo \n"; }
 
 #line 13 "pure2-types-down-upcast.cpp2"
 auto func_mut(A&  a) ->   void  {std::cout << "Call A mut: " + cpp2::to_string(a.i) << std::endl;}
@@ -83,15 +83,15 @@ auto test_const_foo() -> void{
   CPP2_UFCS_0(const_foo, (*cpp2::assert_not_null(sC)));
  CPP2_UFCS_0(const_foo, (cpp2::as_<A>(s)));
   CPP2_UFCS_0(const_foo, (cpp2::as_<A>(*cpp2::assert_not_null(sC))));
-  (void) std::move(s);
-  (void) std::move(sC);
+  static_cast<void>(std::move(s));
+  static_cast<void>(std::move(sC));
 }
 
 auto test_mut_foo() -> void{
  A s {}; 
   CPP2_UFCS_0(mut_foo, s);
  CPP2_UFCS_0(mut_foo, (cpp2::as_<A>(s)));
-  (void) std::move(s);
+  static_cast<void>(std::move(s));
 }
 
 auto test_up() -> void{
@@ -109,8 +109,8 @@ auto test_up() -> void{
   func_mut(cpp2::as_<B>(b));
   func_mut(cpp2::as_<A>(b));
 
-  (void) std::move(b);
-  (void) std::move(bC);
+  static_cast<void>(std::move(b));
+  static_cast<void>(std::move(bC));
 }
 
 auto test_down() -> void{
@@ -129,10 +129,10 @@ auto test_down() -> void{
   func_mut(cpp2::as_<B>(*cpp2::assert_not_null(a)));
   func_mut(cpp2::as_<A>(*cpp2::assert_not_null(a)));
 
-  (void) std::move(b);
-  (void) std::move(bC);
-  (void) std::move(a);
-  (void) std::move(aC);
+  static_cast<void>(std::move(b));
+  static_cast<void>(std::move(bC));
+  static_cast<void>(std::move(a));
+  static_cast<void>(std::move(aC));
 }
 
 [[nodiscard]] auto main() -> int{