ill-data-tope-family-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 tope family: 2 -> TOPE"
regression_for:
  - data-shape-fields-b-prime-layer-rules