Move the join-based narrowing logic towards a union-based narrowing logic. - #18212

Closed

tyralla wants to merge 9 commits into

python:masterfrom

tyralla:narrowing/move_join_based_narrowing_towards_union_based_narrowing

Commits on Nov 29, 2024

Move the join-based narrowing logic towards a union-based narrowing logic.
tyralla
committed
5891413
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
0e9f99f

Commits on Dec 1, 2024

Commits on Dec 2, 2024

module import
tyralla
committed
31a0401
add error message to assert
tyralla
committed
121d8e1
TupleType fallbacks as Instances, not Unions
tyralla
committed
2c1b1a1
Add test case that would crash without the previous commit
tyralla
committed
43ed94e