rzk-0.11.1: test/typecheck/cases/happy-data-eliminator-reascription.expect.yaml

status: ok
warnings: []
regression_for:
  - data-eliminator-reascription-clause