| 1 | fn foo(x: u2) void { |
| 2 | switch (x) { |
| 3 | 0 => {}, |
| 4 | 1 => {}, |
| 5 | 2 => {}, |
| 6 | 3 => {}, |
| 7 | else => {}, |
| 8 | } |
| 9 | } |
| 10 | export fn entry() usize { |
| 11 | return @sizeOf(@TypeOf(&foo)); |
| 12 | } |
| 13 | |
| 14 | // error |
| 15 | // |
| 16 | // :7:14: error: unreachable else prong; all cases already handled |