rzk-0.11.4: test/typecheck/cases/ill-rstt-packed-type-family.expect.yaml
status: error error_tag: TypeErrorRSTT message_contains: - schematic binder regression_for: - rstt-safe-mode
status: error error_tag: TypeErrorRSTT message_contains: - schematic binder regression_for: - rstt-safe-mode