Sema: fix missed error union OPV

andrewrk · andrewrk · commit 85b997b346aa · 2025-07-21T16:11:26.000-07:00
diff --git a/src/Sema.zig b/src/Sema.zig
@@ -9058,6 +9058,10 @@ fn analyzeErrUnionPayload(
         try sema.addSafetyCheckUnwrapError(block, src, operand, .unwrap_errunion_err, .is_non_err);
     }
 
+    if (try sema.typeHasOnePossibleValue(payload_ty)) |payload_only_value| {
+        return Air.internedToRef(payload_only_value.toIntern());
+    }
+
     return block.addTyOp(.unwrap_errunion_payload, payload_ty, operand);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -9058,6 +9058,10 @@ fn analyzeErrUnionPayload(`
`9058`	`9058`	`try sema.addSafetyCheckUnwrapError(block, src, operand, .unwrap_errunion_err, .is_non_err);`
`9059`	`9059`	`}`
`9060`	`9060`
	`9061`	`+ if (try sema.typeHasOnePossibleValue(payload_ty)) \|payload_only_value\| {`
	`9062`	`+ return Air.internedToRef(payload_only_value.toIntern());`
	`9063`	`+ }`
	`9064`	`+`
`9061`	`9065`	`return block.addTyOp(.unwrap_errunion_payload, payload_ty, operand);`
`9062`	`9066`	`}`
`9063`	`9067`