1fn foo(x: bool) void {
 2    switch (x) {
 3        true => {},
 4        false => {},
 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