rzk-0.8.0: test/typecheck/cases/ill-rec-or-overlap-incoherent.expect.yaml

status: error
error_tag: TypeErrorUnifyTerms
message_contains:
  - "coherence"
regression_for:
  - checkCoherence-recOR-overlapping-guards