Sema: comptime loads and stores for `elem_ptr`

The index is checked against actual array lengths, and now handles
coerced or casted pointers to single items.

1 files changed, 12 insertions, 0 deletions

diff --git a/test/behavior/array_llvm.zig b/test/behavior/array_llvm.zig
index 8e65045210..3fca269034 100644
--- a/test/behavior/array_llvm.zig
+++ b/test/behavior/array_llvm.zig
@@ -33,3 +33,15 @@ test "read/write through global variable array of struct fields initialized via
     };
     try S.doTheTest();
 }
+
+test "implicit cast single-item pointer" {
+    try testImplicitCastSingleItemPtr();
+    comptime try testImplicitCastSingleItemPtr();
+}
+
+fn testImplicitCastSingleItemPtr() !void {
+    var byte: u8 = 100;
+    const slice = @as(*[1]u8, &byte)[0..];
+    slice[0] += 1;
+    try expect(byte == 101);
+}