language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-10-22 16:22:52 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4
ruff/crates/ty_python_semantic/resources/mdtest/narrow/conditionals
History
Exact
Ibraheem Ahmed 25023cc0ea
[ty] Use declared variable types as bidirectional type context (#20796) 
## Summary

Use the declared type of variables as type context for the RHS of assignment expressions, e.g.,
```py
x: list[int | str]
x = [1]
reveal_type(x)  # revealed: list[int | str]
```
2025-10-16 15:40:39 -04:00
..
boolean.md [ty] Reachability constraints (#18621) 2025-06-17 09:24:28 +02:00
elif_else.md [ty] Improve disjointness inference for NominalInstanceTypes and SubclassOfTypes (#18864) 2025-06-24 20:27:37 +00:00
eq.md [ty] Expansion of enums into unions of literals (#19382) 2025-07-21 19:37:55 +02:00
in.md [ty] equality narrowing on enums that don't override __eq__ or __ne__ (#20285) 2025-09-08 16:56:28 -07:00
is.md [ty] Expansion of enums into unions of literals (#19382) 2025-07-21 19:37:55 +02:00
is_not.md [ty] Expansion of enums into unions of literals (#19382) 2025-07-21 19:37:55 +02:00
nested.md [ty] Use declared variable types as bidirectional type context (#20796) 2025-10-16 15:40:39 -04:00
not.md Rename Red Knot (#17820) 2025-05-03 19:49:15 +02:00