ill-data-eliminator-unknown.expect.yaml

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