begin
  case 3 of
    1:
  | 3:
  | 1 + 2: (* @Error Duplicate case label *)
  end
end.