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