Skip to content

Conversation

@hauntsaninja
Copy link
Collaborator

@hauntsaninja hauntsaninja commented Jan 17, 2026

Reverts some of #2715. The test cases introduced in that PR still pass

Fixes #20608

Test case minimised by A5rocks

Codex assisted in diagnosing the issue

@github-actions

This comment has been minimized.

@hauntsaninja hauntsaninja marked this pull request as draft January 17, 2026 22:01
Kind of reverts python#2715. The test cases in that PR still pass

Fixes python#20608
@github-actions
Copy link
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@hauntsaninja hauntsaninja marked this pull request as ready for review January 18, 2026 01:49
else_map, e.else_expr, context=ctx, allow_none_return=allow_none_return
)
ctx = make_simplified_union([ctx_if_type, ctx_else_type])
if has_ambiguous_uninhabited_component(ctx_if_type):
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

without this change, testUnificationDictWithEmptyListLeft and testUnificationDictWithEmptyListRight start failing

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Corner case causes arg-type error: type is incompatible with itself

1 participant