rzk-0.11.4: test/typecheck/cases/ill-tope-family-domain-same-domain.expect.yaml

status: error
error_tag: TypeErrorTopeNotSatisfied
line: 14
regression_for:
  - tope-family-domain-conjunct-elaboration