| ... | @@ -1525,3 +1525,8 @@ test "bitcast to vector with different child type" { | ... | @@ -1525,3 +1525,8 @@ test "bitcast to vector with different child type" { |
| 1525 | try S.doTheTest(); | 1525 | try S.doTheTest(); |
| 1526 | try comptime S.doTheTest(); | 1526 | try comptime S.doTheTest(); |
| 1527 | } | 1527 | } |
| | 1528 | |
| | 1529 | test "index into comptime-known vector is comptime-known" { |
| | 1530 | const vec: @Vector(2, f16) = [2]f16{ 1.5, 3.5 }; |
| | 1531 | if (vec[0] != 1.5) @compileError("vec should be comptime"); |
| | 1532 | } |