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