Sema: fail if analyzing return in `noreturn`-declared function before coercing `undefined`

Just switches logic around in coerceExtra to check for returning in a noreturn function before coercing undefined to anything

1 files changed, 5 insertions, 5 deletions

diff --git a/src/Sema.zig b/src/Sema.zig
index 1de0d73808..1250a06a9c 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -30346,11 +30346,6 @@ fn coerceExtra(
         else => {},
     }
 
-    // undefined to anything. We do this after the big switch above so that
-    // special logic has a chance to run first, such as `*[N]T` to `[]T` which
-    // should initialize the length field of the slice.
-    if (maybe_inst_val) |val| if (val.toIntern() == .undef) return pt.undefRef(dest_ty);
-
     if (!opts.report_err) return error.NotCoercible;
 
     if (opts.is_ret and dest_ty.zigTypeTag(zcu) == .noreturn) {
@@ -30368,6 +30363,11 @@ fn coerceExtra(
         return sema.failWithOwnedErrorMsg(block, msg);
     }
 
+    // undefined to anything. We do this after the big switch above so that
+    // special logic has a chance to run first, such as `*[N]T` to `[]T` which
+    // should initialize the length field of the slice.
+    if (maybe_inst_val) |val| if (val.toIntern() == .undef) return pt.undefRef(dest_ty);
+
     const msg = msg: {
         const msg = try sema.errMsg(inst_src, "expected type '{}', found '{}'", .{ dest_ty.fmt(pt), inst_ty.fmt(pt) });
         errdefer msg.destroy(sema.gpa);