From cf59445fbf26c72bb0ed663f8b1f9380300eb9c9 Mon Sep 17 00:00:00 2001
From: jarzec <jarek.glowacki@gmail.com>
Date: Tue, 8 Oct 2024 00:35:40 +0200
Subject: [PATCH] CI update test outputs

---
 .../mixed-parameter-passing.cpp.execution                     | 2 ++
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../apple-clang-14-c++2b/pure2-hashable.cpp.execution         | 1 +
 .../apple-clang-15-c++2b/mixed-bounds-check.cpp.execution     | 2 +-
 .../mixed-bounds-safety-with-assert.cpp.execution             | 2 +-
 ...d-initialization-safety-3-contract-violation.cpp.execution | 2 +-
 .../mixed-lifetime-safety-and-null-contracts.cpp.execution    | 2 +-
 .../mixed-parameter-passing.cpp.execution                     | 2 ++
 .../pure2-assert-expected-not-null.cpp.execution              | 2 +-
 .../pure2-assert-optional-not-null.cpp.execution              | 2 +-
 .../pure2-assert-shared-ptr-not-null.cpp.execution            | 2 +-
 .../pure2-assert-unique-ptr-not-null.cpp.execution            | 2 +-
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../apple-clang-15-c++2b/pure2-hashable.cpp.execution         | 1 +
 .../mixed-function-expression-with-pointer-capture.cpp.output | 2 +-
 .../mixed-parameter-passing.cpp.execution                     | 2 ++
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../clang-15-c++20-libcpp/pure2-hashable.cpp.execution        | 1 +
 .../clang-15-c++20/mixed-bounds-check.cpp.execution           | 2 +-
 .../mixed-bounds-safety-with-assert.cpp.execution             | 2 +-
 ...d-initialization-safety-3-contract-violation.cpp.execution | 2 +-
 .../mixed-lifetime-safety-and-null-contracts.cpp.execution    | 2 +-
 .../clang-15-c++20/mixed-parameter-passing.cpp.execution      | 2 ++
 .../pure2-assert-optional-not-null.cpp.execution              | 2 +-
 .../pure2-assert-shared-ptr-not-null.cpp.execution            | 2 +-
 .../pure2-assert-unique-ptr-not-null.cpp.execution            | 2 +-
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../test-results/clang-15-c++20/pure2-hashable.cpp.execution  | 1 +
 .../clang-18-c++20/mixed-parameter-passing.cpp.execution      | 2 ++
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../test-results/clang-18-c++20/pure2-hashable.cpp.execution  | 1 +
 .../mixed-parameter-passing.cpp.execution                     | 2 ++
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../clang-18-c++23-libcpp/pure2-hashable.cpp.execution        | 1 +
 .../gcc-13-c++2b/mixed-parameter-passing.cpp.execution        | 2 ++
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 .../test-results/gcc-13-c++2b/pure2-hashable.cpp.execution    | 1 +
 .../msvc-2022-c++20/pure2-assert-expected-not-null.cpp.output | 4 ++--
 ...nction-single-expression-body-default-return.cpp.execution | 1 +
 ...-function-single-expression-body-default-return.cpp.output | 1 +
 .../test-results/msvc-2022-c++20/pure2-hashable.cpp.execution | 1 +
 .../test-results/msvc-2022-c++20/pure2-hashable.cpp.output    | 1 +
 42 files changed, 50 insertions(+), 18 deletions(-)
 create mode 100644 regression-tests/test-results/apple-clang-14-c++2b/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/apple-clang-14-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/apple-clang-14-c++2b/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/apple-clang-15-c++2b/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/apple-clang-15-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/apple-clang-15-c++2b/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20-libcpp/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20-libcpp/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/clang-15-c++20/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++20/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++20/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++20/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++23-libcpp/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++23-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/clang-18-c++23-libcpp/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/gcc-13-c++2b/mixed-parameter-passing.cpp.execution
 create mode 100644 regression-tests/test-results/gcc-13-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/gcc-13-c++2b/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.execution
 create mode 100644 regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.output
 create mode 100644 regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.execution
 create mode 100644 regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.output

diff --git a/regression-tests/test-results/apple-clang-14-c++2b/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/apple-clang-14-c++2b/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-14-c++2b/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/apple-clang-14-c++2b/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/apple-clang-14-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-14-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/apple-clang-14-c++2b/pure2-hashable.cpp.execution b/regression-tests/test-results/apple-clang-14-c++2b/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..cb627d7a9b
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-14-c++2b/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+12145505332166550543
\ No newline at end of file
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-check.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-check.cpp.execution
index 91a25ada88..60fe04eccb 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-check.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-check.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(1108) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
+../../../include/cpp2util.h(1116) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-safety-with-assert.cpp.execution
index 638ccfecc9..b78bc868bb 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-safety-with-assert.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/mixed-bounds-safety-with-assert.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Bounds safety violation
+../../../include/cpp2util.h(928) : Bounds safety violation
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/mixed-initialization-safety-3-contract-violation.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/mixed-initialization-safety-3-contract-violation.cpp.execution
index 2e659ac3e1..6e23ca1de5 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/mixed-initialization-safety-3-contract-violation.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/mixed-initialization-safety-3-contract-violation.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Contract violation: fill: value must contain at least count elements
+../../../include/cpp2util.h(928) : Contract violation: fill: value must contain at least count elements
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/mixed-lifetime-safety-and-null-contracts.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/mixed-lifetime-safety-and-null-contracts.cpp.execution
index c848bf98a0..1e2209d893 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/mixed-lifetime-safety-and-null-contracts.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/mixed-lifetime-safety-and-null-contracts.cpp.execution
@@ -1,2 +1,2 @@
 sending error to my framework... [dynamic null dereference attempt detected]
-from source location: ../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]
+from source location: ../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-15-c++2b/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-expected-not-null.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-expected-not-null.cpp.execution
index 58bf51d65e..3c8213d4ef 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-expected-not-null.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-expected-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::expected<int, bool>]: Null safety violation: std::expected has an unexpected value
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::expected<int, bool>]: Null safety violation: std::expected has an unexpected value
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-optional-not-null.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-optional-not-null.cpp.execution
index 8ed66e3a32..b7cbca7785 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-optional-not-null.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-optional-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-shared-ptr-not-null.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-shared-ptr-not-null.cpp.execution
index 092ef80938..8afe6097df 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-shared-ptr-not-null.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-shared-ptr-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-unique-ptr-not-null.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-unique-ptr-not-null.cpp.execution
index acc10a1c1b..e9b8909a63 100644
--- a/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-unique-ptr-not-null.cpp.execution
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-assert-unique-ptr-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/apple-clang-15-c++2b/pure2-hashable.cpp.execution b/regression-tests/test-results/apple-clang-15-c++2b/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..cb627d7a9b
--- /dev/null
+++ b/regression-tests/test-results/apple-clang-15-c++2b/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+12145505332166550543
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-15-c++20-libcpp/mixed-function-expression-with-pointer-capture.cpp.output b/regression-tests/test-results/clang-15-c++20-libcpp/mixed-function-expression-with-pointer-capture.cpp.output
index e498f2c95b..35de1d1dea 100644
--- a/regression-tests/test-results/clang-15-c++20-libcpp/mixed-function-expression-with-pointer-capture.cpp.output
+++ b/regression-tests/test-results/clang-15-c++20-libcpp/mixed-function-expression-with-pointer-capture.cpp.output
@@ -1,5 +1,5 @@
 mixed-function-expression-with-pointer-capture.cpp2:13:18: error: no member named 'for_each' in namespace 'std::ranges'
-    std::ranges::for_each(vec, [_0 = (&y)](auto const& x) mutable -> void { 
+    std::ranges::for_each(vec, [_0 = (&y)](auto const& x) mutable -> decltype(auto) { 
     ~~~~~~~~~~~~~^
 mixed-function-expression-with-pointer-capture.cpp2:18:18: error: no member named 'for_each' in namespace 'std::ranges'
     std::ranges::for_each(vec, cpp2::move(callback));
diff --git a/regression-tests/test-results/clang-15-c++20-libcpp/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/clang-15-c++20-libcpp/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20-libcpp/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/clang-15-c++20-libcpp/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/clang-15-c++20-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-15-c++20-libcpp/pure2-hashable.cpp.execution b/regression-tests/test-results/clang-15-c++20-libcpp/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..cb627d7a9b
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20-libcpp/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+12145505332166550543
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-15-c++20/mixed-bounds-check.cpp.execution b/regression-tests/test-results/clang-15-c++20/mixed-bounds-check.cpp.execution
index 91a25ada88..60fe04eccb 100644
--- a/regression-tests/test-results/clang-15-c++20/mixed-bounds-check.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/mixed-bounds-check.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(1108) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
+../../../include/cpp2util.h(1116) decltype(auto) cpp2::impl::assert_in_bounds(auto &&, std::source_location) [arg = 5, x:auto = std::vector<int>]: Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]
diff --git a/regression-tests/test-results/clang-15-c++20/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/clang-15-c++20/mixed-bounds-safety-with-assert.cpp.execution
index 638ccfecc9..b78bc868bb 100644
--- a/regression-tests/test-results/clang-15-c++20/mixed-bounds-safety-with-assert.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/mixed-bounds-safety-with-assert.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Bounds safety violation
+../../../include/cpp2util.h(928) : Bounds safety violation
diff --git a/regression-tests/test-results/clang-15-c++20/mixed-initialization-safety-3-contract-violation.cpp.execution b/regression-tests/test-results/clang-15-c++20/mixed-initialization-safety-3-contract-violation.cpp.execution
index 2e659ac3e1..6e23ca1de5 100644
--- a/regression-tests/test-results/clang-15-c++20/mixed-initialization-safety-3-contract-violation.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/mixed-initialization-safety-3-contract-violation.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Contract violation: fill: value must contain at least count elements
+../../../include/cpp2util.h(928) : Contract violation: fill: value must contain at least count elements
diff --git a/regression-tests/test-results/clang-15-c++20/mixed-lifetime-safety-and-null-contracts.cpp.execution b/regression-tests/test-results/clang-15-c++20/mixed-lifetime-safety-and-null-contracts.cpp.execution
index c848bf98a0..1e2209d893 100644
--- a/regression-tests/test-results/clang-15-c++20/mixed-lifetime-safety-and-null-contracts.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/mixed-lifetime-safety-and-null-contracts.cpp.execution
@@ -1,2 +1,2 @@
 sending error to my framework... [dynamic null dereference attempt detected]
-from source location: ../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]
+from source location: ../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]
diff --git a/regression-tests/test-results/clang-15-c++20/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/clang-15-c++20/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/clang-15-c++20/pure2-assert-optional-not-null.cpp.execution b/regression-tests/test-results/clang-15-c++20/pure2-assert-optional-not-null.cpp.execution
index 8ed66e3a32..b7cbca7785 100644
--- a/regression-tests/test-results/clang-15-c++20/pure2-assert-optional-not-null.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/pure2-assert-optional-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::optional<int>]: Null safety violation: std::optional does not contain a value
diff --git a/regression-tests/test-results/clang-15-c++20/pure2-assert-shared-ptr-not-null.cpp.execution b/regression-tests/test-results/clang-15-c++20/pure2-assert-shared-ptr-not-null.cpp.execution
index 092ef80938..8afe6097df 100644
--- a/regression-tests/test-results/clang-15-c++20/pure2-assert-shared-ptr-not-null.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/pure2-assert-shared-ptr-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::shared_ptr<int>]: Null safety violation: std::shared_ptr is empty
diff --git a/regression-tests/test-results/clang-15-c++20/pure2-assert-unique-ptr-not-null.cpp.execution b/regression-tests/test-results/clang-15-c++20/pure2-assert-unique-ptr-not-null.cpp.execution
index acc10a1c1b..e9b8909a63 100644
--- a/regression-tests/test-results/clang-15-c++20/pure2-assert-unique-ptr-not-null.cpp.execution
+++ b/regression-tests/test-results/clang-15-c++20/pure2-assert-unique-ptr-not-null.cpp.execution
@@ -1 +1 @@
-../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty
+../../../include/cpp2util.h(1007) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = std::unique_ptr<int>]: Null safety violation: std::unique_ptr is empty
diff --git a/regression-tests/test-results/clang-15-c++20/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/clang-15-c++20/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-15-c++20/pure2-hashable.cpp.execution b/regression-tests/test-results/clang-15-c++20/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..a11f9eb59c
--- /dev/null
+++ b/regression-tests/test-results/clang-15-c++20/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+6443762454025613088
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-18-c++20/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/clang-18-c++20/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++20/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/clang-18-c++20/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/clang-18-c++20/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++20/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-18-c++20/pure2-hashable.cpp.execution b/regression-tests/test-results/clang-18-c++20/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..a11f9eb59c
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++20/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+6443762454025613088
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-18-c++23-libcpp/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/clang-18-c++23-libcpp/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++23-libcpp/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/clang-18-c++23-libcpp/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/clang-18-c++23-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++23-libcpp/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/clang-18-c++23-libcpp/pure2-hashable.cpp.execution b/regression-tests/test-results/clang-18-c++23-libcpp/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..cb627d7a9b
--- /dev/null
+++ b/regression-tests/test-results/clang-18-c++23-libcpp/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+12145505332166550543
\ No newline at end of file
diff --git a/regression-tests/test-results/gcc-13-c++2b/mixed-parameter-passing.cpp.execution b/regression-tests/test-results/gcc-13-c++2b/mixed-parameter-passing.cpp.execution
new file mode 100644
index 0000000000..256f7e186a
--- /dev/null
+++ b/regression-tests/test-results/gcc-13-c++2b/mixed-parameter-passing.cpp.execution
@@ -0,0 +1,2 @@
+123
+0
diff --git a/regression-tests/test-results/gcc-13-c++2b/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/gcc-13-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/gcc-13-c++2b/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/gcc-13-c++2b/pure2-hashable.cpp.execution b/regression-tests/test-results/gcc-13-c++2b/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..a11f9eb59c
--- /dev/null
+++ b/regression-tests/test-results/gcc-13-c++2b/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+6443762454025613088
\ No newline at end of file
diff --git a/regression-tests/test-results/msvc-2022-c++20/pure2-assert-expected-not-null.cpp.output b/regression-tests/test-results/msvc-2022-c++20/pure2-assert-expected-not-null.cpp.output
index 5e83480105..6615803ab6 100644
--- a/regression-tests/test-results/msvc-2022-c++20/pure2-assert-expected-not-null.cpp.output
+++ b/regression-tests/test-results/msvc-2022-c++20/pure2-assert-expected-not-null.cpp.output
@@ -6,7 +6,7 @@ pure2-assert-expected-not-null.cpp2(7): error C2143: syntax error: missing ';' b
 pure2-assert-expected-not-null.cpp2(7): error C2143: syntax error: missing ';' before '}'
 pure2-assert-expected-not-null.cpp2(9): error C2065: 'ex': undeclared identifier
 pure2-assert-expected-not-null.cpp2(9): error C2672: 'cpp2::impl::assert_not_null': no matching overloaded function found
-..\..\..\include\cpp2util.h(999): note: could be 'decltype(auto) cpp2::impl::assert_not_null(_T0 &&,std::source_location)'
+..\..\..\include\cpp2util.h(1007): note: could be 'decltype(auto) cpp2::impl::assert_not_null(_T0 &&,std::source_location)'
 pure2-assert-expected-not-null.cpp2(14): error C2039: 'expected': is not a member of 'std'
 predefined C++ types (compiler internal)(347): note: see declaration of 'std'
 pure2-assert-expected-not-null.cpp2(14): error C2062: type 'int' unexpected
@@ -19,4 +19,4 @@ pure2-assert-expected-not-null.cpp2(14): note: while trying to match the argumen
 pure2-assert-expected-not-null.cpp2(14): error C2143: syntax error: missing ';' before '}'
 pure2-assert-expected-not-null.cpp2(15): error C2065: 'ex': undeclared identifier
 pure2-assert-expected-not-null.cpp2(15): error C2672: 'cpp2::impl::assert_not_null': no matching overloaded function found
-..\..\..\include\cpp2util.h(999): note: could be 'decltype(auto) cpp2::impl::assert_not_null(_T0 &&,std::source_location)'
+..\..\..\include\cpp2util.h(1007): note: could be 'decltype(auto) cpp2::impl::assert_not_null(_T0 &&,std::source_location)'
diff --git a/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.execution b/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.execution
new file mode 100644
index 0000000000..30f4cb9106
--- /dev/null
+++ b/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.execution
@@ -0,0 +1 @@
+hi ho hum
\ No newline at end of file
diff --git a/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.output b/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.output
new file mode 100644
index 0000000000..05d88cb452
--- /dev/null
+++ b/regression-tests/test-results/msvc-2022-c++20/pure2-function-single-expression-body-default-return.cpp.output
@@ -0,0 +1 @@
+pure2-function-single-expression-body-default-return.cpp
diff --git a/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.execution b/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.execution
new file mode 100644
index 0000000000..cc5315af63
--- /dev/null
+++ b/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.execution
@@ -0,0 +1 @@
+13929407477532509065
\ No newline at end of file
diff --git a/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.output b/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.output
new file mode 100644
index 0000000000..51f787459d
--- /dev/null
+++ b/regression-tests/test-results/msvc-2022-c++20/pure2-hashable.cpp.output
@@ -0,0 +1 @@
+pure2-hashable.cpp