ill-data-eliminator-unknown.expect.yaml

status: error
error_tag: TypeErrorOther
message_contains:
  - "eliminate with clause for elim-d"
  - "the eliminators are ind-d, rec-d, ind-op-d, rec-op-d, ind-b-d, rec-b-d)"
line: 4
regression_for:
  - data-eliminator-reascription-clause