#zig build-obj {
--name test -fno-emit-bin
-Mroot=test.zig
#}

#write test.zig {
export fn foo() void {
    const ptr: [*]const u8 = "abc";
    _ = @as([]const u8, ptr);
}
export fn bar() void {
    const ptr: [*c]const u8 = "def";
    _ = @as([]const u8, ptr);
}
export fn baz() void {
    const ptr: *const u8 = &@as(u8, 123);
    _ = @as([]const u8, ptr);
}
#}
#update
#check errors {
test.zig:3:25: error: expected type '[]const u8', found '[*]const u8'
test.zig:7:25: error: expected type '[]const u8', found '[*c]const u8'
test.zig:11:25: error: expected type '[]const u8', found '*const u8'
#}
