ill-unify.expect.yaml

status: error
error_tag: TypeErrorUnify
message_contains:
  - "cannot unify"
regression_for:
  - matrix-unification