test: restore binary operator test case

Author: JohelEGP

regression-tests/pure2-bugfix-for-discard-precedence.cpp2

@@ -4,6 +4,13 @@ quantity: type = {
     number = x;
     _      = _;
   }
+  operator+=: (inout this, that) -> forward quantity = {
+    _ = number += that.number;
+    return this;
+  }
 }
 
-main: () = { _ = :quantity = (std::in_place, 1729); }
+main: () = {
+  x: quantity = (std::in_place, 1729);
+  _ = x += x;
+}

regression-tests/test-results/pure2-bugfix-for-discard-precedence.cpp

@@ -17,15 +17,19 @@ class quantity {
   private: cpp2::i32 number; 
   public: explicit quantity(cpp2::in<std::in_place_t> _, cpp2::in<cpp2::i32> x);
 
+
+#line 7 "pure2-bugfix-for-discard-precedence.cpp2"
+  public: [[nodiscard]] auto operator+=(quantity const& that) -> quantity&;
+    
   public: quantity(quantity const&) = delete; /* No 'that' constructor, suppress copy */
   public: auto operator=(quantity const&) -> void = delete;
 
 
-#line 7 "pure2-bugfix-for-discard-precedence.cpp2"
+#line 11 "pure2-bugfix-for-discard-precedence.cpp2"
 };
 
 auto main() -> int;
-
+  
 
 //=== Cpp2 function definitions =================================================
 
@@ -38,7 +42,14 @@ auto main() -> int;
 
     static_cast<void>(_);
   }
+  [[nodiscard]] auto quantity::operator+=(quantity const& that) -> quantity&{
+    static_cast<void>(number += that.number);
+    return (*this); 
+  }
 
-#line 9 "pure2-bugfix-for-discard-precedence.cpp2"
-auto main() -> int{static_cast<void>(quantity{std::in_place, 1729}); }
+#line 13 "pure2-bugfix-for-discard-precedence.cpp2"
+auto main() -> int{
+  quantity x {std::in_place, 1729}; 
+  static_cast<void>(x += std::move(x));
+}