ill-match-unknown-branch.expect.yaml

status: error
error_tag: TypeErrorMatchUnknownBranch
message_contains:
  - "match branch for succ"
  - "not a constructor"
line: 6
column: 6
regression_for:
  - match-branch-bijection