| ... | @@ -9058,6 +9058,10 @@ fn analyzeErrUnionPayload( | ... | @@ -9058,6 +9058,10 @@ fn analyzeErrUnionPayload( |
| 9058 | try sema.addSafetyCheckUnwrapError(block, src, operand, .unwrap_errunion_err, .is_non_err); | 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 | return block.addTyOp(.unwrap_errunion_payload, payload_ty, operand); | 9065 | return block.addTyOp(.unwrap_errunion_payload, payload_ty, operand); |
| 9062 | } | 9066 | } |
| 9063 | | 9067 | |