rzk-0.11.4: test/typecheck/cases/ill-rstt-unsupported.expect.yaml
status: error error_tag: TypeErrorRSTT message_contains: - cube supremum (sup) line: 4 column: 23 regression_for: - rstt-safe-syntax-allow-list
status: error error_tag: TypeErrorRSTT message_contains: - cube supremum (sup) line: 4 column: 23 regression_for: - rstt-safe-syntax-allow-list