rzk-0.11.4: test/typecheck/cases/ill-rstt-dependent-cube-family.expect.yaml
status: error error_tag: TypeErrorRSTT message_contains: - cube domain regression_for: - rstt-safe-mode
status: error error_tag: TypeErrorRSTT message_contains: - cube domain regression_for: - rstt-safe-mode