CI Update regression tests

jarzec · jarzec · commit f1e8d5868aa0 · 2024-10-22T00:20:51.000+02:00
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
@@ -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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+12145505332166550543
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
@@ -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(1111) 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
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Bounds safety violation
+../../../include/cpp2util.h(923) : 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
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Contract violation: fill: value must contain at least count elements
+../../../include/cpp2util.h(923) : 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
@@ -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(1002) 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
@@ -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
@@ -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(1002) 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
@@ -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(1002) 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
@@ -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(1002) 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
@@ -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(1002) 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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+12145505332166550543
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
@@ -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
@@ -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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+12145505332166550543
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
@@ -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(1111) 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
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Bounds safety violation
+../../../include/cpp2util.h(923) : 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
@@ -1 +1 @@
-../../../include/cpp2util.h(920) : Contract violation: fill: value must contain at least count elements
+../../../include/cpp2util.h(923) : 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
@@ -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(1002) 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
@@ -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
@@ -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(1002) 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
@@ -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(1002) 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
@@ -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(1002) 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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+6443762454025613088
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
@@ -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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+6443762454025613088
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
@@ -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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+12145505332166550543
diff --git a/regression-tests/test-results/gcc-10-c++20/pure2-default-arguments.cpp.output b/regression-tests/test-results/gcc-10-c++20/pure2-default-arguments.cpp.output
@@ -1,66 +1,66 @@
 In file included from pure2-default-arguments.cpp:7:
 ../../../include/cpp2util.h:2086:28: error: local variable ‘obj’ may not appear in this context
- 2086 |         if constexpr (std::is_same_v< typename It::type, C >) { if (CPP2_FORWARD(x).index() ==  It::index) { ptr = &std::get<It::index>(x); return true; } };
-      |                            ^~~
+ 2086 | }
+      |                            ^  
 ../../../include/cpp2util.h:2047:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
- 2047 |         if (x.valueless_by_exception()) {
-      |                                  ^~~~~~~~   
+ 2047 |         )
+      |                                  ^          
 ../../../include/cpp2util.h:2086:15: note: in expansion of macro ‘CPP2_FORWARD’
- 2086 |         if constexpr (std::is_same_v< typename It::type, C >) { if (CPP2_FORWARD(x).index() ==  It::index) { ptr = &std::get<It::index>(x); return true; } };
-      |               ^~~~~~~~~~~~
+ 2086 | }
+      |               ^           
 ../../../include/cpp2util.h:2107:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
- 2107 | //  is Value
-      |                      ^                       
+ 2107 |     if constexpr (valid_predicate<decltype(value), decltype(x)>) {
+      |                      ^~~~~~~~~~~~~~~~~~~~~~~~
 ../../../include/cpp2util.h:2137:59: note: in expansion of macro ‘CPP2_UFCS_’
- 2137 | //  std::optional is and as
-      |                                                           ^         
+ 2137 | template<typename T, specialization_of_template<std::optional> X>
+      |                                                           ^~~~~~~   
 pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:2086:92: error: local variable ‘params’ may not appear in this context
- 2086 |         if constexpr (std::is_same_v< typename It::type, C >) { if (CPP2_FORWARD(x).index() ==  It::index) { ptr = &std::get<It::index>(x); return true; } };
-      |                                                                                            ^~~~~~
+ 2086 | }
+      |                                                                                            ^     
 ../../../include/cpp2util.h:2047:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
- 2047 |         if (x.valueless_by_exception()) {
-      |                                  ^~~~~~~~   
+ 2047 |         )
+      |                                  ^          
 ../../../include/cpp2util.h:2086:79: note: in expansion of macro ‘CPP2_FORWARD’
- 2086 |         if constexpr (std::is_same_v< typename It::type, C >) { if (CPP2_FORWARD(x).index() ==  It::index) { ptr = &std::get<It::index>(x); return true; } };
-      |                                                                               ^~~~~~~~~~~~
+ 2086 | }
+      |                                                                               ^           
 ../../../include/cpp2util.h:2107:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
- 2107 | //  is Value
-      |                      ^                       
+ 2107 |     if constexpr (valid_predicate<decltype(value), decltype(x)>) {
+      |                      ^~~~~~~~~~~~~~~~~~~~~~~~
 ../../../include/cpp2util.h:2137:59: note: in expansion of macro ‘CPP2_UFCS_’
- 2137 | //  std::optional is and as
-      |                                                           ^         
+ 2137 | template<typename T, specialization_of_template<std::optional> X>
+      |                                                           ^~~~~~~   
 pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:2087:74: error: local variable ‘obj’ may not appear in this context
- 2087 |         return false;
+ 2087 | 
       |                                                                          ^  
 ../../../include/cpp2util.h:2047:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
- 2047 |         if (x.valueless_by_exception()) {
-      |                                  ^~~~~~~~   
+ 2047 |         )
+      |                                  ^          
 ../../../include/cpp2util.h:2087:61: note: in expansion of macro ‘CPP2_FORWARD’
- 2087 |         return false;
+ 2087 | 
       |                                                             ^           
 ../../../include/cpp2util.h:2107:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
- 2107 | //  is Value
-      |                      ^                       
+ 2107 |     if constexpr (valid_predicate<decltype(value), decltype(x)>) {
+      |                      ^~~~~~~~~~~~~~~~~~~~~~~~
 ../../../include/cpp2util.h:2137:59: note: in expansion of macro ‘CPP2_UFCS_’
- 2137 | //  std::optional is and as
-      |                                                           ^         
+ 2137 | template<typename T, specialization_of_template<std::optional> X>
+      |                                                           ^~~~~~~   
 pure2-default-arguments.cpp2:6:22: note: in expansion of macro ‘CPP2_UFCS_NONLOCAL’
 ../../../include/cpp2util.h:2087:93: error: local variable ‘params’ may not appear in this context
- 2087 |         return false;
+ 2087 | 
       |                                                                                             ^     
 ../../../include/cpp2util.h:2047:34: note: in definition of macro ‘CPP2_UFCS_IDENTITY’
- 2047 |         if (x.valueless_by_exception()) {
-      |                                  ^~~~~~~~   
+ 2047 |         )
+      |                                  ^          
 ../../../include/cpp2util.h:2087:80: note: in expansion of macro ‘CPP2_FORWARD’
- 2087 |         return false;
+ 2087 | 
       |                                                                                ^           
 ../../../include/cpp2util.h:2107:22: note: in expansion of macro ‘CPP2_UFCS_CONSTRAINT_ARG’
- 2107 | //  is Value
-      |                      ^                       
+ 2107 |     if constexpr (valid_predicate<decltype(value), decltype(x)>) {
+      |                      ^~~~~~~~~~~~~~~~~~~~~~~~
 ../../../include/cpp2util.h:2137:59: note: in expansion of macro ‘CPP2_UFCS_’
- 2137 | //  std::optional is and as
-      |                                                           ^         
+ 2137 | template<typename T, specialization_of_template<std::optional> X>
+      |                                                           ^~~~~~~   
 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
diff --git a/regression-tests/test-results/gcc-13-c++2b/mixed-bounds-safety-with-assert.cpp.execution b/regression-tests/test-results/gcc-13-c++2b/mixed-bounds-safety-with-assert.cpp.execution
@@ -1 +1 @@
-mixed-bounds-safety-with-assert.cpp2(11) void print_subrange(const auto:115&, cpp2::impl::in<int>, cpp2::impl::in<int>) [with auto:115 = std::vector<int>; cpp2::impl::in<int> = const int]: Bounds safety violation
+mixed-bounds-safety-with-assert.cpp2(11) void print_subrange(const auto:129&, cpp2::impl::in<int>, cpp2::impl::in<int>) [with auto:129 = std::vector<int>; cpp2::impl::in<int> = const int]: Bounds safety violation
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
@@ -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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -0,0 +1 @@
+6443762454025613088
diff --git a/regression-tests/test-results/msvc-2022-c++20/mixed-parameter-passing.cpp.output b/regression-tests/test-results/msvc-2022-c++20/mixed-parameter-passing.cpp.output
@@ -1 +1,8 @@
 mixed-parameter-passing.cpp
+mixed-parameter-passing.cpp2(44): error C2079: 'container<int>::buf' uses undefined class 'std::array<T,10>'
+        with
+        [
+            T=int
+        ]
+mixed-parameter-passing.cpp2(44): note: the template instantiation context (the oldest one first) is
+mixed-parameter-passing.cpp2(54): note: see reference to class template instantiation 'container<int>' being compiled
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
@@ -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(1002): 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(1002): 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
@@ -0,0 +1 @@
+hi ho hum
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
@@ -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
@@ -0,0 +1 @@
+13929407477532509065
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
@@ -0,0 +1 @@
+pure2-hashable.cpp

Original file line number	Diff line number	Diff line change
`@@ -1 +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]`
	`1`	`+../../../include/cpp2util.h(1111) 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]`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-../../../include/cpp2util.h(920) : Bounds safety violation`
	`1`	`+../../../include/cpp2util.h(923) : Bounds safety violation`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-../../../include/cpp2util.h(920) : Contract violation: fill: value must contain at least count elements`
	`1`	`+../../../include/cpp2util.h(923) : Contract violation: fill: value must contain at least count elements`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`sending error to my framework... [dynamic null dereference attempt detected]`
`2`		`-from source location: ../../../include/cpp2util.h(999) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]`
	`2`	`+from source location: ../../../include/cpp2util.h(1002) decltype(auto) cpp2::impl::assert_not_null(auto &&, std::source_location) [arg:auto = int *&]`
Original file line number	Diff line number	Diff line change
`@@ -1 +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`
	`1`	`+../../../include/cpp2util.h(1002) 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`