rzk-0.11.4: test/typecheck/cases/ill-match-modal-inaccessible.expect.yaml
status: error error_tag: TypeErrorUnaccessibleVar message_contains: - "variable x is inaccessible" - "declared modality: _id" - "current locks: ♭" regression_for: - modal-match-scrutinee-accessibility