path: root/testsuite/fail_compilation/case_unique_label.elna

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