From 7b58a6c51fbc8cc360f015ed0f69b5f7eb33b4bd Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Sun, 21 Jan 2024 03:41:43 +0100
Subject: [PATCH] Add more tests for tuple type checking

---
 bootstrap/cxx/test/checker/simple_tuple_test.bolt | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/bootstrap/cxx/test/checker/simple_tuple_test.bolt b/bootstrap/cxx/test/checker/simple_tuple_test.bolt
index 6018effee..0f50df021 100644
--- a/bootstrap/cxx/test/checker/simple_tuple_test.bolt
+++ b/bootstrap/cxx/test/checker/simple_tuple_test.bolt
@@ -1,5 +1,4 @@
 
-
 let pair x y = (x, y)
 
 let p1 = pair 1 1
@@ -14,3 +13,16 @@ let p3 = (False, 1)
 
 @:Bool p3.0
 @:Int p3.1
+
+@expect_diagnostic 2016
+"foo".1
+
+(1,2,3).2
+
+@expect_diagnostic 2015
+(1,2,3).3
+@expect_diagnostic 2015
+(1,2,3).4
+@expect_diagnostic 2015
+(1,2,3).5
+