Sema: validate inferred error set payload type

This was missed in b0a55e1b3be3a274546f9c18016e9609d546bdb0

2 files changed, 13 insertions, 6 deletions

diff --git a/test/cases/compile_errors/function_returning_opaque_type.zig b/test/cases/compile_errors/function_returning_opaque_type.zig
index caf5d74d40..26d70c86c1 100644
--- a/test/cases/compile_errors/function_returning_opaque_type.zig
+++ b/test/cases/compile_errors/function_returning_opaque_type.zig
@@ -1,11 +1,11 @@
 const FooType = opaque {};
-export fn bar() !FooType {
+export fn bar() FooType {
     return error.InvalidValue;
 }
-export fn bav() !@TypeOf(null) {
+export fn bav() @TypeOf(null) {
     return error.InvalidValue;
 }
-export fn baz() !@TypeOf(undefined) {
+export fn baz() @TypeOf(undefined) {
     return error.InvalidValue;
 }
 
@@ -13,7 +13,7 @@ export fn baz() !@TypeOf(undefined) {
 // backend=stage2
 // target=native
 //
-// :2:18: error: opaque return type 'tmp.FooType' not allowed
+// :2:17: error: opaque return type 'tmp.FooType' not allowed
 // :1:17: note: opaque declared here
-// :5:18: error: return type '@TypeOf(null)' not allowed
-// :8:18: error: return type '@TypeOf(undefined)' not allowed
+// :5:17: error: return type '@TypeOf(null)' not allowed
+// :8:17: error: return type '@TypeOf(undefined)' not allowed
diff --git a/test/cases/compile_errors/invalid_error_union_payload_type.zig b/test/cases/compile_errors/invalid_error_union_payload_type.zig
index f8646d9450..244eb765ec 100644
--- a/test/cases/compile_errors/invalid_error_union_payload_type.zig
+++ b/test/cases/compile_errors/invalid_error_union_payload_type.zig
@@ -4,6 +4,12 @@ comptime {
 comptime {
     _ = anyerror!anyerror;
 }
+fn someFunction() !anyerror {
+    return error.C;
+}
+comptime {
+    _ = someFunction;
+}
 
 // error
 // backend=stage2
@@ -11,3 +17,4 @@ comptime {
 //
 // :2:18: error: error union with payload of opaque type 'anyopaque' not allowed
 // :5:18: error: error union with payload of error set type 'anyerror' not allowed
+// :7:20: error: error union with payload of error set type 'anyerror' not allowed