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