Sema: check pointer qualifiers before implicit cast

Closes #12881

1 files changed, 21 insertions, 0 deletions

diff --git a/test/cases/compile_errors/implicitly_increasing_slice_alignment.zig b/test/cases/compile_errors/implicitly_increasing_slice_alignment.zig
new file mode 100644
index 0000000000..84ec6464f4
--- /dev/null
+++ b/test/cases/compile_errors/implicitly_increasing_slice_alignment.zig
@@ -0,0 +1,21 @@
+const Foo = packed struct {
+    a: u8,
+    b: u32,
+};
+
+export fn entry() void {
+    var foo = Foo { .a = 1, .b = 10 };
+    foo.b += 1;
+    bar(@as(*[1]u32, &foo.b)[0..]);
+}
+
+fn bar(x: []u32) void {
+    x[0] += 1;
+}
+
+// error
+// backend=stage2
+// target=native
+//
+// :9:22: error: expected type '*[1]u32', found '*align(1) u32'
+// :9:22: note: pointer alignment '1' cannot cast into pointer alignment '4'