From 9e91c70a70e2edf9e83162906e84773362452c75 2021-05-31 09:19:28
From: MH <contact@maxhenger.nl>
Date: 2021-05-31 09:19:28
Subject: [PATCH] Add small test for inference error

---

diff --git a/src/protocol/tests/parser_inference.rs b/src/protocol/tests/parser_inference.rs
index e92d376247a919b7b119c7561a4ddb4e5ba9d200..ddf5a72cbd78ddad2518dc74ec651f4d17349f3a 100644
--- a/src/protocol/tests/parser_inference.rs
+++ b/src/protocol/tests/parser_inference.rs
@@ -445,6 +445,19 @@ fn test_explicit_polymorph_argument() {
         .call_ok(Some(Value::UInt32(2)));
     });
 
+    Tester::new_single_source_expect_err("multi-explicit with array", "
+    func foo<A, B, C>(A a, B b) -> C {
+        return (a @ b)[1];
+    }
+    func test() -> u32 {
+        return foo<u32[], u32[], u32, u32>({1}, {2});
+    }").error(|e| { e
+        .assert_num(1)
+        .assert_occurs_at(0, "foo<u32")
+        .assert_msg_has(0, "expected 3")
+        .assert_msg_has(0, "4 were provided");
+    });
+
     // Failed because type inferencer did not construct polymorph errors by
     // considering that argument/return types failed against explicitly
     // specified polymorphic arguments