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

#write test.zig {
export fn a() void {
    const x = [_]u16{ 1, 2, 3 };
    const y: [3]i32 = x;
    _ = y;
}
#}
#update
#check errors {
test.zig:3:23: error: expected type '[3]i32', found '[3]u16'
#}
