From cbf2b1fea43c53cb33a362b277fe688f06744bf1 Mon Sep 17 00:00:00 2001
From: Meghan Denny <hello@nektro.net>
Date: Wed, 20 Dec 2023 16:49:05 -0800
Subject: test: add coverage for index into comptime-known vector is
 comptime-known

---
 test/behavior/vector.zig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test/behavior/vector.zig')

diff --git a/test/behavior/vector.zig b/test/behavior/vector.zig
index 4ae7e76c74..db42658c43 100644
--- a/test/behavior/vector.zig
+++ b/test/behavior/vector.zig
@@ -1525,3 +1525,8 @@ test "bitcast to vector with different child type" {
     try S.doTheTest();
     try comptime S.doTheTest();
 }
+
+test "index into comptime-known vector is comptime-known" {
+    const vec: @Vector(2, f16) = [2]f16{ 1.5, 3.5 };
+    if (vec[0] != 1.5) @compileError("vec should be comptime");
+}
-- 
cgit v1.2.3