Merge pull request #22979 from mlugg/remove-legacy-coercions

Sema: remove legacy coercion

2 files changed, 22 insertions, 2 deletions

diff --git a/test/cases/compile_errors/coerce_empty_tuple_to_struct.zig b/test/cases/compile_errors/coerce_empty_tuple_to_struct.zig
new file mode 100644
index 0000000000..9ed4ece3da
--- /dev/null
+++ b/test/cases/compile_errors/coerce_empty_tuple_to_struct.zig
@@ -0,0 +1,21 @@
+const empty = .{};
+
+const Foo = struct {};
+const foo: Foo = empty;
+
+const Bar = struct { a: u32 };
+const bar: Bar = empty;
+
+comptime {
+    _ = foo;
+}
+comptime {
+    _ = bar;
+}
+
+// error
+//
+// :4:18: error: expected type 'tmp.Foo', found '@TypeOf(.{})'
+// :3:13: note: struct declared here
+// :7:18: error: expected type 'tmp.Bar', found '@TypeOf(.{})'
+// :6:13: note: struct declared here
diff --git a/test/cases/compile_errors/invalid_tuple_to_struct_coercion.zig b/test/cases/compile_errors/invalid_tuple_to_struct_coercion.zig
index 4f25a26ef1..1c691f76ea 100644
--- a/test/cases/compile_errors/invalid_tuple_to_struct_coercion.zig
+++ b/test/cases/compile_errors/invalid_tuple_to_struct_coercion.zig
@@ -7,7 +7,6 @@ export fn entry() void {
 }
 
 // error
-// target=native
 //
-// :6:31: error: no field named '0' in struct 'tmp.S'
+// :6:31: error: expected type 'tmp.S', found 'struct { comptime void = {} }'
 // :1:11: note: struct declared here