Renkai Ge 61f906d8e7 [ty] equality narrowing on enums that don't override __eq__ or __ne__ (#20285) ...

Add equality narrowing for enums, if they don't override `__eq__` or `__ne__` in an unsafe way.

Follow-up to PR https://github.com/astral-sh/ruff/pull/20164

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

2025-09-08 16:56:28 -07:00

..

conditionals

[ty] equality narrowing on enums that don't override __eq__ or __ne__ (#20285)

2025-09-08 16:56:28 -07:00

assert.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

assignment.md

[ty] Infer slightly more precise types for comprehensions (#20111)

2025-08-27 13:21:47 +01: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] Fall back to object for attribute access on synthesized protocols (#20286)

2025-09-08 13:04:37 +01:00

isinstance.md

[ty] Narrow specialized generics using isinstance() (#20256)

2025-09-04 15:28:33 -07: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_guards.md

[ty] Splat variadic arguments into parameter list (#18996)

2025-07-22 14:33:08 -04:00

type.md

[ty] linear variance inference for PEP-695 type parameters (#18713)

2025-08-19 17:54:09 -07:00

while.md

[ty] Eagerly simplify 'True' and 'False' constraints (#18998)

2025-06-30 13:11:52 +02:00