[ty] Unify polarity-aware relation construction - #27707

Merged

carljm merged 8 commits into

mainfrom

cjm/3557-polarity-aware-relations

Aug 13, 2026

Commits on Aug 13, 2026

[ty] Unify polarity-aware relation construction
carljm
committed
3f401b1
[ty] Preserve ParamSpec inference in polarity-aware relations
carljm
committed
0f71636
[ty] Keep variadic inference on the legacy solver
carljm
committed
cb04672
[ty] Extract relation directions into a free function
carljm
committed
4aa5c4d
[ty] Clarify ParamSpec inference regression tests
carljm
committed
eb8506c
[ty] Retain comparisons under different polarities
carljm
committed
1fed4f9
[ty] Cover overloaded callables under each polarity
carljm
committed
25941d7
[ty] Simplify overloaded callable regression fixtures
carljm
committed
d3a98ec