Exact

Exact Union RegExp

Ibraheem Ahmed bea92c8229 [ty] More precise type inference for dictionary literals (#20523) ... ## Summary Extends https://github.com/astral-sh/ruff/pull/20360 to dictionary literals. This also improves our `TypeDict` support by passing through nested type context.		2025-09-24 18:12:00 -04:00
..
conditionals	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
assert.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
assignment.md	[ty] More precise type inference for dictionary literals (#20523)	2025-09-24 18:12:00 -04:00
bool-call.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
boolean.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
complex_target.md	[ty] Track different uses of legacy typevars, including context when rendering typevars (#19604)	2025-08-01 12:20:32 -04:00
hasattr.md	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
isinstance.md	[ty] Use C[T] instead of C[Unknown] for the upper bound of Self (#20479)	2025-09-23 14:02:25 +02:00
issubclass.md	[ty] Support narrowing on isinstance()/issubclass() if the second argument is a dynamic, intersection, union or typevar type (#18900)	2025-06-24 10:55:26 +00:00
match.md	[ty] Improve disjointness inference for NominalInstanceTypes and SubclassOfTypes (#18864)	2025-06-24 20:27:37 +00:00
post_if_statement.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
truthiness.md	[ty] Reachability constraints (#18621)	2025-06-17 09:24:28 +02:00
type.md	[ty] linear variance inference for PEP-695 type parameters (#18713)	2025-08-19 17:54:09 -07:00
type_guards.md	[ty] Splat variadic arguments into parameter list (#18996)	2025-07-22 14:33:08 -04:00
while.md	[ty] Eagerly simplify 'True' and 'False' constraints (#18998)	2025-06-30 13:11:52 +02:00