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