// expect error: a switch has one catch-all case
// spec 4.7.1
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int k = 1; switch (k) { case _: pn(1); case _: pn(2); } return 0; }