Shunsuke Shibayama de1f8177be [ty] Improve protocol member type checking and relation handling (#18847) ...

Co-authored-by: Alex Waygood <alex.waygood@gmail.com>

2025-06-29 10:46:33 +00:00

..

conditionals

[ty] Type narrowing in comprehensions (#18934)

2025-06-25 11:30:28 +02:00

assert.md

…

assignment.md

[ty] basic narrowing on attribute and subscript expressions (#17643)

2025-06-17 11:07:46 +02:00

bool-call.md

…

boolean.md

…

complex_target.md

[ty] Homogeneous and mixed tuples (#18600)

2025-06-20 18:23:54 -04:00

hasattr.md

[ty] Improve protocol member type checking and relation handling (#18847)

2025-06-29 10:46:33 +00:00

isinstance.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

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

…

truthiness.md

[ty] Reachability constraints (#18621)

2025-06-17 09:24:28 +02:00

type_guards.md

[ty] Improve disjointness inference for NominalInstanceTypes and SubclassOfTypes (#18864)

2025-06-24 20:27:37 +00:00

type.md

[ty] Surface matched overload diagnostic directly (#18452)

2025-06-20 08:36:49 +05:30

while.md

…