rzk-0.11.0: test/typecheck/cases/ill-match-cannot-infer.expect.yaml

status: error
error_tag: TypeErrorMatchCannotInfer
message_contains:
  - "cannot infer the type of match"
line: 6
regression_for:
  - match-motive-from-goal