packages feed

rzk-0.11.4: test/typecheck/cases/ill-data-modal-tope-index.expect.yaml

status: error
error_tag: TypeErrorOther
message_contains:
  - "an index of a #data sort must be a type, got a modal cube or tope kind: _op TOPE"
regression_for:
  - data-shape-fields-b-prime-layer-rules