ill-unify-id-free-path.expect.yaml

status: error
error_tag: TypeErrorUnifyTerms
message_contains:
  - cannot unify
regression_for:
  - unify-id-compares-underlying-types