Added regression test case for #148

Author: hsutter

regression-tests/mixed-inspect-with-typeof-of-template-arg-list.cpp2

@@ -0,0 +1,16 @@
+
+template <int i, int j>
+auto calc() {
+    return i + j;
+}
+
+fun: (v : _) -> int = {
+    return inspect v -> int {
+        is int  = calc<1,2>();
+        is _ = 0;
+    };
+}
+
+main: () -> int = {
+    return fun(42);
+}

regression-tests/test-results/mixed-inspect-with-typeof-of-template-arg-list.cpp

@@ -0,0 +1,28 @@
+// ----- Cpp2 support -----
+#include "cpp2util.h"
+
+#line 1 "mixed-inspect-with-typeof-of-template-arg-list.cpp2"
+
+template <int i, int j>
+auto calc() {
+    return i + j;
+}
+
+[[nodiscard]] auto fun(auto const& v) -> int;
+#line 14 "mixed-inspect-with-typeof-of-template-arg-list.cpp2"
+[[nodiscard]] auto main() -> int;
+
+//=== Cpp2 definitions ==========================================================
+
+#line 6 "mixed-inspect-with-typeof-of-template-arg-list.cpp2"
+
+[[nodiscard]] auto fun(auto const& v) -> int{
+    return [&] () -> int { auto&& __expr = v;
+        if (cpp2::is<int>(__expr)) { if constexpr( requires{calc<1,2>();} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF((calc<1,2>())),int> ) return calc<1,2>(); else return int{}; else return int{}; }
+        else return 0; }
+    ()
+; }
+
+[[nodiscard]] auto main() -> int{
+    return fun(42); 
+}

regression-tests/test-results/mixed-inspect-with-typeof-of-template-arg-list.cpp2.output

@@ -0,0 +1,2 @@
+mixed-inspect-with-typeof-of-template-arg-list.cpp2... ok (mixed Cpp1/Cpp2, Cpp2 code passes safety checks)
+