rzk-0.11.4: test/typecheck/cases/ill-data-modal-kind-param-lock.expect.yaml
status: error error_tag: TypeErrorUnaccessibleVar message_contains: - "variable J is inaccessible in the current modal context" regression_for: - data-modal-kind-parameter
status: error error_tag: TypeErrorUnaccessibleVar message_contains: - "variable J is inaccessible in the current modal context" regression_for: - data-modal-kind-parameter