rzk-0.9.2: test/typecheck/cases/ill-subtype-variance-pi-shape-domain.expect.yaml

status: error
error_tag: TypeErrorTopeNotSatisfied
regression_for:
  - subtype-variance-direction