David Peter 2acf1cc0fd [ty] Infer precise types for `isinstance(…)` calls involving typevars (#21999) ... ## Summary Infer `Literal[True]` for `isinstance(x, C)` calls when `x: T` and `T` has a bound `B` that satisfies the `isinstance` check against `C`. Similar for constrained typevars. closes https://github.com/astral-sh/ty/issues/1895 ## Test Plan * New Markdown tests * Verified the the example in the linked ticket checks without errors		2025-12-16 10:34:30 +01:00
..
resources	[ty] Infer precise types for `isinstance(…)` calls involving typevars (#21999)	2025-12-16 10:34:30 +01:00
src	[ty] Infer precise types for `isinstance(…)` calls involving typevars (#21999)	2025-12-16 10:34:30 +01:00
tests	[ty] Don't send publish diagnostics for clients supporting pull diagnostics (#21772)	2025-12-04 08:12:04 +01:00
Cargo.toml	[ty] bump dependencies to pull in Salsa support for `ordermap` (#21854)	2025-12-09 19:08:03 -08:00
build.rs	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
mdtest.py	[ty] mdtests with external dependencies (#20904)	2025-12-08 11:44:20 +01:00
mdtest.py.lock	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00