Ibraheem Ahmed a2fb2ee06c [ty] Fix disjointness checks with type-of `@final` classes (#21770) ... ## Summary We currently perform a subtyping check, similar to what we were doing for `@final` instances before https://github.com/astral-sh/ruff/pull/21167, which is incorrect, e.g. we currently consider `type[X[Any]]` and `type[X[T]]]` disjoint (where `X` is `@final`).		2025-12-10 15:15:10 -05:00
..
conditionals	[ty] Use declared variable types as bidirectional type context (#20796)	2025-10-16 15:40:39 -04:00
assert.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
assignment.md	[ty] Subscript assignment diagnostics follow-up (#21452)	2025-11-17 11:14:58 +00:00
bool-call.md	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00
boolean.md	[ty] Consider `__len__` when determining the truthiness of an instance of a tuple class or a `@final` class (#21049)	2025-10-24 09:29:55 +00:00
complex_target.md	[ty] fix global symbol lookup from eager scopes (#21317)	2025-11-12 10:15:51 -08:00
hasattr.md	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
isinstance.md	[ty] Improve the display of various special-form types (#21775)	2025-12-03 21:19:59 +00:00
issubclass.md	[ty] default-specialize class-literal types in assignment to generic-alias types (#21883)	2025-12-10 17:18:08 +01:00
match.md	[ty] Use the top materialization of classes for narrowing in class-patterns for `match` statements (#21150)	2025-10-30 20:44:51 +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] Fix disjointness checks with type-of `@final` classes (#21770)	2025-12-10 15:15:10 -05:00
type_guards.md	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
while.md	[ty] Eagerly simplify 'True' and 'False' constraints (#18998)	2025-06-30 13:11:52 +02:00