rzk-0.11.4: test/typecheck/cases/ill-data-no-sharp-eliminator.expect.yaml

status: error
error_tag: TypeErrorUndefined
regression_for:
  - modal-data-no-sharp-eliminators