rzk-0.11.4: test/typecheck/cases/ill-data-modal-tope-field.expect.yaml
status: error error_tag: TypeErrorOther message_contains: - "a field of constructor c must be a type, a cube point, or a shape, got a modal cube or tope kind: _op TOPE" regression_for: - data-shape-fields-b-prime-layer-rules