packages feed

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