rzk-0.11.4: test/typecheck/cases/ill-match-modal-sharp.expect.yaml
status: error error_tag: TypeErrorOther message_contains: - "modal match is not supported for ♯" regression_for: - modal-data-no-sharp-eliminators
status: error error_tag: TypeErrorOther message_contains: - "modal match is not supported for ♯" regression_for: - modal-data-no-sharp-eliminators