// expect error: duplicate case label
// spec 4.7.2: a label seen twice in one switch is an error
include rt;
enum color { RED, GREEN };
fn main() { int k = 1; switch (k) { case RED, GREEN: k = 2; case 2 - 1: k = 3; } return 0; }
// zc0: skip