rzk-0.9.2: test/typecheck/cases/ill-subtype-variance-tope-family.expect.yaml

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