From 368d2243f13b62361f8a8d761f56a8e69d7c62e7 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Fri, 16 Sep 2022 12:48:41 +0200
Subject: [PATCH] Add a test for tuple unification

---
 src/test/type-inference.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/test/type-inference.md b/src/test/type-inference.md
index 48cffd279..e97b45f7f 100644
--- a/src/test/type-inference.md
+++ b/src/test/type-inference.md
@@ -169,3 +169,11 @@ let a = Rect { width = 12, height = 12 }
 
 a == z
 ```
+
+## Tuple types are correctly inferred and unified
+
+```
+let foo_1 : (Int, Int, Int) = (1, 2, 3)
+let foo_2 : (Int, Int, Int) = (1, 2, "foo")
+```
+