rzk-0.11.4: test/typecheck/cases/warn-tope-family-domain-option.expect.yaml

status: ok
warnings:
  - TopeFamilyDomainWarning
regression_for:
  - tope-family-domain-warning