Add a test for type checking a large buffer literal

hylo-lang · Jul 28, 2024 · adb23e9 · adb23e9
1 parent 4858d06
commit adb23e9
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/Tests/HyloTests/TestCases/TypeChecking/LargeBufferLiteral.hylo b/Tests/HyloTests/TestCases/TypeChecking/LargeBufferLiteral.hylo
@@ -0,0 +1,19 @@
+//- typeCheck expecting: .success
+
+fun check<T>(_ x: T) {}
+
+public fun main() {
+  let x0: Int8[100] = [
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+    0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  ]
+  check<Int8[100]>(x0)
+}