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

status: ok
regression_for:
  - subtype-variance-direction