fix(cpp1): flank == with spaces to preserve meaning (#617)

JohelEGP · web-flow · commit 1e6d74043243 · 2023-08-28T16:15:29.000-07:00
* test: add `pure2-bugfix-for-max-munch`

* fix(cpp1): flank `==` with spaces to preserve meaning

* test: refactor to prevent warnings

* refactor: regenerate `reflect.h` and `regression-tests`
diff --git a/regression-tests/pure2-bugfix-for-max-munch.cpp2 b/regression-tests/pure2-bugfix-for-max-munch.cpp2
@@ -0,0 +1,2 @@
+v: <T> == 0;
+main: () = _ = v<i32> == v<i64>;
diff --git a/regression-tests/test-results/clang-18/pure2-bugfix-for-max-munch.cpp.execution b/regression-tests/test-results/clang-18/pure2-bugfix-for-max-munch.cpp.execution
diff --git a/regression-tests/test-results/clang-18/pure2-bugfix-for-max-munch.cpp.output b/regression-tests/test-results/clang-18/pure2-bugfix-for-max-munch.cpp.output
diff --git a/regression-tests/test-results/mixed-bugfix-for-literal-as-nttp.cpp b/regression-tests/test-results/mixed-bugfix-for-literal-as-nttp.cpp
@@ -20,8 +20,8 @@ auto main() -> int;
 
 #line 3 "mixed-bugfix-for-literal-as-nttp.cpp2"
 auto main() -> int{
-  cpp2::Default.expects(cpp2::as_<cpp2::i32, 10>()==10, "");
-  cpp2::Default.expects(cpp2::as_<cpp2::i32, 10LL>()==10, "");
-  cpp2::Default.expects(cpp2::as_<std::chrono::seconds>(10s)==10s, "");
+  cpp2::Default.expects(cpp2::as_<cpp2::i32, 10>() == 10, "");
+  cpp2::Default.expects(cpp2::as_<cpp2::i32, 10LL>() == 10, "");
+  cpp2::Default.expects(cpp2::as_<std::chrono::seconds>(10s) == 10s, "");
 }
 
diff --git a/regression-tests/test-results/mixed-captures-in-expressions-and-postconditions.cpp b/regression-tests/test-results/mixed-captures-in-expressions-and-postconditions.cpp
@@ -46,7 +46,7 @@ auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void
 #line 22 "mixed-captures-in-expressions-and-postconditions.cpp2"
 {
     cpp2::Default.expects(cpp2::cmp_less_eq(0,where) && cpp2::cmp_less_eq(where,CPP2_UFCS_0(ssize, vec)), "");
-    auto post_21_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec)==_0 + 1, "");} );
+    auto post_21_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec) == _0 + 1, "");} );
 #line 23 "mixed-captures-in-expressions-and-postconditions.cpp2"
     static_cast<void>(CPP2_UFCS(insert, vec, CPP2_UFCS_0(begin, vec) + where, val));
 }
diff --git a/regression-tests/test-results/mixed-initialization-safety-3.cpp b/regression-tests/test-results/mixed-initialization-safety-3.cpp
@@ -62,5 +62,5 @@ auto fill(
 auto print_decorated(auto const& x) -> void { std::cout << ">> [" << x << "]\n";  }
 
 #line 30 "mixed-initialization-safety-3.cpp2"
-[[nodiscard]] auto flip_a_coin() -> bool { return std::mt19937()() % 2==0;  }
+[[nodiscard]] auto flip_a_coin() -> bool { return std::mt19937()() % 2 == 0;  }
 
diff --git a/regression-tests/test-results/mixed-parameter-passing-with-forward.cpp b/regression-tests/test-results/mixed-parameter-passing-with-forward.cpp
@@ -68,7 +68,7 @@ requires (std::is_same_v<CPP2_TYPEOF(e), std::string>)
 
     copy_from(z);
 
-    if (std::time(nullptr) % 2==0) {
+    if (std::time(nullptr) % 2 == 0) {
         copy_from(std::move(z));
     }
 
diff --git a/regression-tests/test-results/mixed-parameter-passing.cpp b/regression-tests/test-results/mixed-parameter-passing.cpp
@@ -60,7 +60,7 @@ auto parameter_styles(
 
     copy_from(z);
 
-    if (std::time(nullptr) % 2==0) {
+    if (std::time(nullptr) % 2 == 0) {
         copy_from(std::move(z));
     }
 
diff --git a/regression-tests/test-results/mixed-postexpression-with-capture.cpp b/regression-tests/test-results/mixed-postexpression-with-capture.cpp
@@ -41,7 +41,7 @@ auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void
 #line 17 "mixed-postexpression-with-capture.cpp2"
 {
     cpp2::Default.expects(cpp2::cmp_less_eq(0,where) && cpp2::cmp_less_eq(where,CPP2_UFCS_0(ssize, vec)), "");
-    auto post_16_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(size, vec)]{cpp2::Default.expects(CPP2_UFCS_0(size, vec)==_0 + 1, "");} );
+    auto post_16_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(size, vec)]{cpp2::Default.expects(CPP2_UFCS_0(size, vec) == _0 + 1, "");} );
 #line 18 "mixed-postexpression-with-capture.cpp2"
     CPP2_UFCS(push_back, vec, val);
 }
diff --git a/regression-tests/test-results/pure2-break-continue.cpp b/regression-tests/test-results/pure2-break-continue.cpp
@@ -82,7 +82,7 @@ auto while_continue_inner() -> void
 #line 25 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_25_9;
             }
             std::cout << "inner ";
@@ -101,7 +101,7 @@ auto while_continue_outer() -> void
         auto j {0}; 
         for( ; cpp2::cmp_less(j,3); ++j ) {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_39_5;
             }
             std::cout << "inner ";
@@ -120,7 +120,7 @@ auto while_break_inner() -> void
 #line 57 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_57_9;
             }
             std::cout << "inner ";
@@ -139,7 +139,7 @@ auto while_break_outer() -> void
         auto j {0}; 
         for( ; cpp2::cmp_less(j,3); ++j ) {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_71_5;
             }
             std::cout << "inner ";
@@ -158,7 +158,7 @@ auto do_continue_inner() -> void
 #line 89 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_89_9;
             }
             std::cout << "inner ";
@@ -183,7 +183,7 @@ auto do_continue_outer() -> void
         auto j {0}; 
         do {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_106_5;
             }
             std::cout << "inner ";
@@ -208,7 +208,7 @@ auto do_break_inner() -> void
 #line 127 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_127_9;
             }
             std::cout << "inner ";
@@ -233,7 +233,7 @@ auto do_break_outer() -> void
         auto j {0}; 
         do {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_144_5;
             }
             std::cout << "inner ";
@@ -259,7 +259,7 @@ auto for_continue_inner() -> void
 #line 166 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_166_9;
             }
             std::cout << "inner ";
@@ -280,7 +280,7 @@ auto for_continue_outer() -> void
         std::vector vj {0, 1, 2}; 
         for ( auto const& j : vj ) {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto CONTINUE_182_5;
             }
             std::cout << "inner ";
@@ -301,7 +301,7 @@ auto for_break_inner() -> void
 #line 202 "pure2-break-continue.cpp2"
         {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_202_9;
             }
             std::cout << "inner ";
@@ -322,7 +322,7 @@ auto for_break_outer() -> void
         std::vector vj {0, 1, 2}; 
         for ( auto const& j : vj ) {
             std::cout << i << j << " ";
-            if (j==1) {
+            if (j == 1) {
                 goto BREAK_218_5;
             }
             std::cout << "inner ";
diff --git a/regression-tests/test-results/pure2-bugfix-for-assign-expression-list.cpp b/regression-tests/test-results/pure2-bugfix-for-assign-expression-list.cpp
@@ -21,10 +21,10 @@ auto main() -> int{
   using vec = std::vector<int>;
   vec v {0}; 
   v                   = {  };
-  cpp2::Default.expects(v==vec{}, "");
+  cpp2::Default.expects(v == vec{}, "");
   v                   = { 1 };
-  cpp2::Default.expects(v==vec{1}, "");
+  cpp2::Default.expects(v == vec{1}, "");
   v                   = { 2, 3 };
-  cpp2::Default.expects(std::move(v)==vec{2, 3}, "");
+  cpp2::Default.expects(std::move(v) == vec{2, 3}, "");
 }
 
diff --git a/regression-tests/test-results/pure2-bugfix-for-max-munch.cpp b/regression-tests/test-results/pure2-bugfix-for-max-munch.cpp
@@ -0,0 +1,23 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "pure2-bugfix-for-max-munch.cpp2"
+template<typename T> auto const& v = 0;
+auto main() -> int;
+
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 2 "pure2-bugfix-for-max-munch.cpp2"
+auto main() -> int { static_cast<void>(v<cpp2::i32> == v<cpp2::i64>);  }
+
diff --git a/regression-tests/test-results/pure2-bugfix-for-max-munch.cpp2.output b/regression-tests/test-results/pure2-bugfix-for-max-munch.cpp2.output
@@ -0,0 +1,2 @@
+pure2-bugfix-for-max-munch.cpp2... ok (all Cpp2, passes safety checks)
+
diff --git a/regression-tests/test-results/pure2-initialization-safety-with-else-if.cpp b/regression-tests/test-results/pure2-initialization-safety-with-else-if.cpp
@@ -27,10 +27,10 @@ auto main(int const argc_, char** argv_) -> int{
     auto c {3}; 
     auto d {4}; 
 
-    if (CPP2_UFCS_0(size, args)==3) {
+    if (CPP2_UFCS_0(size, args) == 3) {
         p.construct(&a);
     }else {if (true) {
-        if (CPP2_UFCS_0(size, args)==2) {
+        if (CPP2_UFCS_0(size, args) == 2) {
             p.construct(&c);
         }else {if (cpp2::cmp_greater(std::move(b),0)) {
                 p.construct(&a);
diff --git a/regression-tests/test-results/pure2-look-up-parameter-across-unnamed-function.cpp b/regression-tests/test-results/pure2-look-up-parameter-across-unnamed-function.cpp
@@ -33,7 +33,7 @@ struct f__ret { int ri; };
 [[nodiscard]] auto f() -> f__ret{
     int ri {0};
 #line 3 "pure2-look-up-parameter-across-unnamed-function.cpp2"
-    auto pred {[](auto const& e) -> bool{return e==1; }}; 
+    auto pred {[](auto const& e) -> bool{return e == 1; }}; 
     ri = 42;
     return  { std::move(ri) }; // "return;" is implicit"
 }
@@ -42,7 +42,7 @@ struct f__ret { int ri; };
         cpp2::deferred_init<int> ri;
 #line 9 "pure2-look-up-parameter-across-unnamed-function.cpp2"
     ri.construct(0);
-    auto pred {[](auto const& e) -> bool{return e==1; }}; 
+    auto pred {[](auto const& e) -> bool{return e == 1; }}; 
     ri.value() = 42;
     return  { std::move(ri.value()) }; 
 }
diff --git a/source/cppfront.cpp b/source/cppfront.cpp
@@ -3299,7 +3299,9 @@ class cppfront
                     switch (op.type()) {
                     break;case lexeme::EqualComparison:
                           case lexeme::NotEqualComparison:
+                        printer.print_cpp2( " ", n.position() );
                         emit(op);
+                        printer.print_cpp2( " ", n.position() );
                     break;default:
                         printer.print_cpp2( ",", n.position() );
                     }
diff --git a/source/reflect.h b/source/reflect.h
@@ -733,7 +733,7 @@ namespace meta {
         auto lines {&CPP2_UFCS_0(back, generated_lines)}; 
 
         auto add_line {[&, _1 = lines](cpp2::in<std::string_view> s) -> void{
-            (void) CPP2_UFCS(emplace_back, (*cpp2::assert_not_null(_1)), s, source_line::category::cpp2);
+            static_cast<void>(CPP2_UFCS(emplace_back, (*cpp2::assert_not_null(_1)), s, source_line::category::cpp2));
         }}; 
 {
 auto newline_pos = CPP2_UFCS(find, source, '\n');
@@ -743,9 +743,9 @@ auto newline_pos = CPP2_UFCS(find, source, '\n');
 
 #line 72 "reflect.h2"
         if ( cpp2::cmp_greater(CPP2_UFCS_0(ssize, source),1) 
-            && newline_pos!=source.npos) 
+            && newline_pos != source.npos) 
         {
-            while( newline_pos!=std::string_view::npos ) 
+            while( newline_pos != std::string_view::npos ) 
             {
                 add_line(CPP2_UFCS(substr, source, 0, newline_pos));
                 CPP2_UFCS(remove_prefix, source, newline_pos + 1);
@@ -762,11 +762,11 @@ auto newline_pos = CPP2_UFCS(find, source, '\n');
         //  Now lex this source fragment to generate
         //  a single grammar_map entry, whose .second
         //  is the vector of tokens
-        (void) CPP2_UFCS(emplace_back, generated_lexers, *cpp2::assert_not_null(errors));
+        static_cast<void>(CPP2_UFCS(emplace_back, generated_lexers, *cpp2::assert_not_null(errors)));
         auto tokens {&CPP2_UFCS_0(back, generated_lexers)}; 
         CPP2_UFCS(lex, (*cpp2::assert_not_null(tokens)), *cpp2::assert_not_null(std::move(lines)), true);
 
-        cpp2::Default.expects(std::ssize(CPP2_UFCS_0(get_map, (*cpp2::assert_not_null(tokens))))==1, "");
+        cpp2::Default.expects(std::ssize(CPP2_UFCS_0(get_map, (*cpp2::assert_not_null(tokens)))) == 1, "");
 
         //  Now parse this single declaration from
         //  the lexed tokens
@@ -799,7 +799,7 @@ auto newline_pos = CPP2_UFCS(find, source, '\n');
         if (!(CPP2_UFCS_0(empty, meta_function_name))) {
             message = "while applying @" + meta_function_name + " - " + message;
         }
-        (void) CPP2_UFCS(emplace_back, (*cpp2::assert_not_null(errors)), position(), std::move(message));
+        static_cast<void>(CPP2_UFCS(emplace_back, (*cpp2::assert_not_null(errors)), position(), std::move(message)));
     }
 
     compiler_services::~compiler_services() noexcept{}
@@ -849,9 +849,9 @@ declaration_base::declaration_base(declaration_base const& that)
     [[nodiscard]] auto declaration::is_private() const -> bool { return CPP2_UFCS_0(is_private, (*cpp2::assert_not_null(n))); }
     [[nodiscard]] auto declaration::is_default_access() const -> bool { return CPP2_UFCS_0(is_default_access, (*cpp2::assert_not_null(n)));  }
 
-    auto declaration::default_to_public() -> void { (void) CPP2_UFCS_0(make_public, (*cpp2::assert_not_null(n))); }
-    auto declaration::default_to_protected() -> void { (void) CPP2_UFCS_0(make_protected, (*cpp2::assert_not_null(n)));  }
-    auto declaration::default_to_private() -> void { (void) CPP2_UFCS_0(make_private, (*cpp2::assert_not_null(n))); }
+    auto declaration::default_to_public() -> void { static_cast<void>(CPP2_UFCS_0(make_public, (*cpp2::assert_not_null(n)))); }
+    auto declaration::default_to_protected() -> void { static_cast<void>(CPP2_UFCS_0(make_protected, (*cpp2::assert_not_null(n))));  }
+    auto declaration::default_to_private() -> void { static_cast<void>(CPP2_UFCS_0(make_private, (*cpp2::assert_not_null(n)))); }
 
     [[nodiscard]] auto declaration::make_public() -> bool { return CPP2_UFCS_0(make_public, (*cpp2::assert_not_null(n))); }
     [[nodiscard]] auto declaration::make_protected() -> bool { return CPP2_UFCS_0(make_protected, (*cpp2::assert_not_null(n))); }
@@ -940,7 +940,7 @@ declaration::declaration(declaration const& that)
 
     [[nodiscard]] auto function_declaration::is_binary_comparison_function() const -> bool { return CPP2_UFCS_0(is_binary_comparison_function, (*cpp2::assert_not_null(n)));  }
 
-    auto function_declaration::default_to_virtual() -> void { (void) CPP2_UFCS_0(make_function_virtual, (*cpp2::assert_not_null(n))); }
+    auto function_declaration::default_to_virtual() -> void { static_cast<void>(CPP2_UFCS_0(make_function_virtual, (*cpp2::assert_not_null(n)))); }
 
     [[nodiscard]] auto function_declaration::make_virtual() -> bool { return CPP2_UFCS_0(make_function_virtual, (*cpp2::assert_not_null(n))); }
 
@@ -1002,7 +1002,7 @@ declaration::declaration(declaration const& that)
     {
         std::vector<function_declaration> ret {}; 
         for ( auto const& d : CPP2_UFCS(get_type_scope_declarations, (*cpp2::assert_not_null(n)), declaration_node::functions) ) {
-            (void) CPP2_UFCS(emplace_back, ret, d, (*this));
+            static_cast<void>(CPP2_UFCS(emplace_back, ret, d, (*this)));
         }
         return ret; 
     }
@@ -1012,7 +1012,7 @@ declaration::declaration(declaration const& that)
     {
         std::vector<object_declaration> ret {}; 
         for ( auto const& d : CPP2_UFCS(get_type_scope_declarations, (*cpp2::assert_not_null(n)), declaration_node::objects) ) {
-            (void) CPP2_UFCS(emplace_back, ret, d, (*this));
+            static_cast<void>(CPP2_UFCS(emplace_back, ret, d, (*this)));
         }
         return ret; 
     }
@@ -1022,7 +1022,7 @@ declaration::declaration(declaration const& that)
     {
         std::vector<type_declaration> ret {}; 
         for ( auto const& d : CPP2_UFCS(get_type_scope_declarations, (*cpp2::assert_not_null(n)), declaration_node::types) ) {
-            (void) CPP2_UFCS(emplace_back, ret, d, (*this));
+            static_cast<void>(CPP2_UFCS(emplace_back, ret, d, (*this)));
         }
         return ret; 
     }
@@ -1032,7 +1032,7 @@ declaration::declaration(declaration const& that)
     {
         std::vector<declaration> ret {}; 
         for ( auto const& d : CPP2_UFCS(get_type_scope_declarations, (*cpp2::assert_not_null(n)), declaration_node::all) ) {
-            (void) CPP2_UFCS(emplace_back, ret, d, (*this));
+            static_cast<void>(CPP2_UFCS(emplace_back, ret, d, (*this)));
         }
         return ret; 
     }
@@ -1048,9 +1048,9 @@ declaration::declaration(declaration const& that)
 #line 423 "reflect.h2"
         auto declared {CPP2_UFCS_0(find_declared_value_set_functions, (*cpp2::assert_not_null(n)))}; 
         out_this_in_that.construct(declared.out_this_in_that != nullptr);
-        out_this_move_that.construct(declared.out_this_move_that!=nullptr);
-        inout_this_in_that.construct(declared.inout_this_in_that!=nullptr);
-        inout_this_move_that.construct(std::move(declared).inout_this_move_that!=nullptr);
+        out_this_move_that.construct(declared.out_this_move_that != nullptr);
+        inout_this_in_that.construct(declared.inout_this_in_that != nullptr);
+        inout_this_move_that.construct(std::move(declared).inout_this_move_that != nullptr);
     return  { std::move(out_this_in_that.value()), std::move(out_this_move_that.value()), std::move(inout_this_in_that.value()), std::move(inout_this_move_that.value()) }; }
 
     [[nodiscard]] auto type_declaration::add_member(cpp2::in<std::string_view> source) -> 
@@ -1142,7 +1142,7 @@ auto ordered_impl(
         if (CPP2_UFCS(has_name, mf, "operator<=>")) {
             has_spaceship = true;
             auto return_name {CPP2_UFCS_0(unnamed_return_type, mf)}; 
-            if (CPP2_UFCS(find, return_name, ordering)==return_name.npos) 
+            if (CPP2_UFCS(find, return_name, ordering) == return_name.npos) 
             {
                 CPP2_UFCS(error, mf, "operator<=> must return std::" + cpp2::as_<std::string>(ordering));
             }

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+v: <T> == 0;`
	`2`	`+main: () = _ = v<i32> == v<i64>;`
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void`
`46`	`46`	`#line 22 "mixed-captures-in-expressions-and-postconditions.cpp2"`
`47`	`47`	`{`
`48`	`48`	`cpp2::Default.expects(cpp2::cmp_less_eq(0,where) && cpp2::cmp_less_eq(where,CPP2_UFCS_0(ssize, vec)), "");`
`49`		`- auto post_21_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec)==_0 + 1, "");} );`
	`49`	`+ auto post_21_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec) == _0 + 1, "");} );`
`50`	`50`	`#line 23 "mixed-captures-in-expressions-and-postconditions.cpp2"`
`51`	`51`	`static_cast<void>(CPP2_UFCS(insert, vec, CPP2_UFCS_0(begin, vec) + where, val));`
`52`	`52`	`}`
Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ requires (std::is_same_v<CPP2_TYPEOF(e), std::string>)`
`68`	`68`
`69`	`69`	`copy_from(z);`
`70`	`70`
`71`		`- if (std::time(nullptr) % 2==0) {`
	`71`	`+ if (std::time(nullptr) % 2 == 0) {`
`72`	`72`	`copy_from(std::move(z));`
`73`	`73`	`}`
`74`	`74`
Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ auto parameter_styles(`
`60`	`60`
`61`	`61`	`copy_from(z);`
`62`	`62`
`63`		`- if (std::time(nullptr) % 2==0) {`
	`63`	`+ if (std::time(nullptr) % 2 == 0) {`
`64`	`64`	`copy_from(std::move(z));`
`65`	`65`	`}`
`66`	`66`
Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void`
`41`	`41`	`#line 17 "mixed-postexpression-with-capture.cpp2"`
`42`	`42`	`{`
`43`	`43`	`cpp2::Default.expects(cpp2::cmp_less_eq(0,where) && cpp2::cmp_less_eq(where,CPP2_UFCS_0(ssize, vec)), "");`
`44`		`- auto post_16_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(size, vec)]{cpp2::Default.expects(CPP2_UFCS_0(size, vec)==_0 + 1, "");} );`
	`44`	`+ auto post_16_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(size, vec)]{cpp2::Default.expects(CPP2_UFCS_0(size, vec) == _0 + 1, "");} );`
`45`	`45`	`#line 18 "mixed-postexpression-with-capture.cpp2"`
`46`	`46`	`CPP2_UFCS(push_back, vec, val);`
`47`	`47`	`}`