path: root/testsuite/fail_compilation/case_unique_label.elna

program()
begin
  case 3 of
    1:
  | 3:
  | 1 + 2: (* @Error Duplicate case label *)
  end
return 0u8

end.