ill-match-missing-branch.expect.yaml

status: error
error_tag: TypeErrorMatchMissingBranch
message_contains:
  - "no branch for constructor suc"
line: 5
regression_for:
  - match-branch-bijection