From 9d4f988400d04c1a060882bee792c88d452b9415 2021-12-12 15:16:20
From: mh <contact@maxhenger.nl>
Date: 2021-12-12 15:16:20
Subject: [PATCH] Add failing polymorph test

---

diff --git a/src/protocol/tests/parser_validation.rs b/src/protocol/tests/parser_validation.rs
index 1294724006b3c63165ccee5466b58d3b7f037468..2d142af3f451423a6e95b4a7ee72d0f1b64cf2c0 100644
--- a/src/protocol/tests/parser_validation.rs
+++ b/src/protocol/tests/parser_validation.rs
@@ -409,7 +409,22 @@ fn test_correct_tuple_members() {
 
 #[test]
 fn test_correct_tuple_polymorph_args() {
-    todo!("write");
+    Tester::new_single_source_expect_ok(
+        "single tuple arg",
+        "
+        union Option<T>{ Some(T), None }
+        func thing() -> u32 {
+            auto a = Option<()>::None;
+            auto b = Option<(u32, u64)>::None;
+            auto c = Option<(Option<(u8, s8)>, Option<(s8, u8)>)>::None;
+            return 0;
+        }
+        "
+    ).for_union("Option", |u| { u
+        .assert_has_monomorph("Option<()>")
+        .assert_has_monomorph("Option<(u32, u64)>")
+        .assert_has_monomorph("Option<(Option<(u8,s8)>,Option<(s8,u8)>)>");
+    });
 }
 
 #[test]