Added missing headers to a test case, closes #15

Author: hsutter

regression-tests/mixed-captures-in-expressions-and-postconditions.cpp2

@@ -1,6 +1,9 @@
 
+#include <algorithm>
+#include <vector>
+
 main: () -> int = {
-    vec: std::vector<std::string> 
+    vec: std::vector<std::string>
             = ("hello", "2022");
 
     y: std::string = "\n";
@@ -13,7 +16,7 @@ main: () -> int = {
 
 vec: std::vector<int> = ();
 
-insert_at: (where: int, val: int) 
+insert_at: (where: int, val: int)
     [[pre:  0 <= where && where <= vec.ssize()]]
     [[post: vec.ssize() == vec.ssize()$ + 1]]
 = {

regression-tests/test-results/mixed-captures-in-expressions-and-postconditions.cpp

@@ -1,16 +1,19 @@
 // ----- Cpp2 support -----
 #include "cpp2util.h"
 
+#line 1 "mixed-captures-in-expressions-and-postconditions.cpp2"
+
+#include <algorithm>
+#include <vector>
 
-#line 2 "mixed-captures-in-expressions-and-postconditions.cpp2"
 [[nodiscard]] auto main() -> int;
-#line 14 "mixed-captures-in-expressions-and-postconditions.cpp2"
-#line 16 "mixed-captures-in-expressions-and-postconditions.cpp2"
+#line 17 "mixed-captures-in-expressions-and-postconditions.cpp2"
+#line 19 "mixed-captures-in-expressions-and-postconditions.cpp2"
 auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void;
 
 //=== Cpp2 definitions ==========================================================
 
-#line 1 "mixed-captures-in-expressions-and-postconditions.cpp2"
+#line 4 "mixed-captures-in-expressions-and-postconditions.cpp2"
 
 [[nodiscard]] auto main() -> int{
     std::vector<std::string> vec { 
@@ -29,8 +32,8 @@ std::vector<int> vec {  };
 auto insert_at(cpp2::in<int> where, cpp2::in<int> val) -> void
 {   
     cpp2::Default.expects(0 <= where && where <= CPP2_UFCS_0(ssize, vec), "");
-    auto post_18_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec) == _0 + 1, "");} );
-#line 18 "mixed-captures-in-expressions-and-postconditions.cpp2"
+    auto post_21_5 = cpp2::finally_success([_0 = CPP2_UFCS_0(ssize, vec)]{cpp2::Default.expects(CPP2_UFCS_0(ssize, vec) == _0 + 1, "");} );
+#line 21 "mixed-captures-in-expressions-and-postconditions.cpp2"
 
 
     CPP2_UFCS(insert, vec, CPP2_UFCS_0(begin, vec) + where, val);

regression-tests/test-results/mixed-captures-in-expressions-and-postconditions.cpp2.output

@@ -1,2 +1,2 @@
-mixed-captures-in-expressions-and-postconditions.cpp2... ok (all Cpp2, passes safety checks)
+mixed-captures-in-expressions-and-postconditions.cpp2... ok (mixed Cpp1/Cpp2, Cpp2 code passes safety checks)