rzk-0.8.0: test/typecheck/cases/ill-tope-subtle-tope-family-4d.expect.yaml

status: error
error_tag: TypeErrorTopeNotSatisfied
message_contains:
  - "unifying"
  - "does not entail"
regression_for:
  - tope-family-4d-without-local-Phi