Carl Meyer f97da18267 [ty] improve typevar solving from constraint sets (#22411) ...

## Summary

Fixes https://github.com/astral-sh/ty/issues/2292

When solving a bounded typevar, we preferred the upper bound over the
actual type seen in the call. This change fixes that.

## Test Plan

Added mdtest, existing tests pass.

2026-01-06 13:10:51 -08:00

..

legacy

[ty] improve typevar solving from constraint sets (#22411)

2026-01-06 13:10:51 -08:00

pep695

[ty] implement typing.TypeGuard (#20974)

2025-12-29 17:54:17 -08:00

builtins.md

[ty] Support using legacy typing aliases for generic classes in type annotations (#18404)

2025-06-03 12:09:51 +01:00

scoping.md

[ty] Enable even more goto-definition on inlay hints (#21950)

2025-12-12 12:57:38 -05:00

specialize_constrained.md

[ty] Infer typevar specializations for Callable types (#21551)

2025-12-16 09:16:49 -08:00