From a3855477866bbe59b0583ca07170a981e7ca5839 Mon Sep 17 00:00:00 2001
From: LemonBoy <thatlemon@gmail.com>
Date: Thu, 20 Feb 2020 13:14:19 +0100
Subject: ir: Compile error on result_loc type mismatch w/ slicing

Closes #4508
---
 test/compile_errors.zig | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'test/compile_errors.zig')

diff --git a/test/compile_errors.zig b/test/compile_errors.zig
index 9f2b3716b0..1b32786e40 100644
--- a/test/compile_errors.zig
+++ b/test/compile_errors.zig
@@ -3,6 +3,18 @@ const builtin = @import("builtin");
 const Target = @import("std").Target;
 
 pub fn addCases(cases: *tests.CompileErrorContext) void {
+    cases.addTest("slice to pointer conversion mismatch",
+        \\pub fn bytesAsSlice(bytes: var) [*]align(1) const u16 {
+        \\    return @ptrCast([*]align(1) const u16, bytes.ptr)[0..1];
+        \\}
+        \\test "bytesAsSlice" {
+        \\    const bytes = [_]u8{ 0xDE, 0xAD, 0xBE, 0xEF };
+        \\    const slice = bytesAsSlice(bytes[0..]);
+        \\}
+    , &[_][]const u8{
+        "tmp.zig:2:54: error: expected type '[*]align(1) const u16', found '[]align(1) const u16'",
+    });
+
     cases.addTest("access invalid @typeInfo decl",
         \\const A = B;
         \\test "Crash" {
-- 
cgit v1.2.3