ill-issue-33-restriction-coherence.expect.yaml

status: error
error_tag: TypeErrorUnifyTerms
message_contains:
  - "cannot unify"
  - "coherence"
regression_for:
  - "https://github.com/rzk-lang/rzk/issues/33"