| ... | @@ -7743,6 +7743,9 @@ fn zirSwitchBlock(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError | ... | @@ -7743,6 +7743,9 @@ fn zirSwitchBlock(sema: *Sema, block: *Block, inst: Zir.Inst.Index) CompileError |
| 7743 | } | 7743 | } |
| 7744 | | 7744 | |
| 7745 | if (scalar_cases_len + multi_cases_len == 0) { | 7745 | if (scalar_cases_len + multi_cases_len == 0) { |
| | 7746 | if (special_prong == .none) { |
| | 7747 | return sema.fail(block, src, "switch must handle all possibilities", .{}); |
| | 7748 | } |
| 7746 | return sema.resolveBlockBody(block, src, &child_block, special.body, inst, merges); | 7749 | return sema.resolveBlockBody(block, src, &child_block, special.body, inst, merges); |
| 7747 | } | 7750 | } |
| 7748 | | 7751 | |