ill-hole-unsolved.expect.yaml

status: error
error_tag: TypeErrorUnsolvedHole
message_contains:
  - "found an unsolved hole"
regression_for:
  - holes-strict-mode