ruff
[ty] Add `Indeterminate` to type relation judgment result
#27447

Open

[ty] Add `Indeterminate` to type relation judgment result #27447

mtshiba wants to merge 7 commits into main from three-valued-type-relations

[ty] Introduce four-valued relation logic

2cc47abf

[ty] Mark incomplete relation projections

53563ec1

[ty] Adapt relation logic to recursive guards

dda62f7f

[ty] Preserve undecided relation evidence

4052bfc8

[ty] Integrate relation evidence with current main

97521112

mtshiba added ty

[ty] Compact Boolean relation constraints

2ad0994b

[ty] Inline relation constraint combinations

09880c9c

Reviewers

No reviews

Assignees

No one assigned

Labels

Milestone

No milestone