mirror of https://github.com/astral-sh/ruff
2ce3aba458
## Summary
Use the type annotation of function parameters as bidirectional type
context when inferring the argument expression. For example, the
following example now type-checks:
```py
class TD(TypedDict):
x: int
def f(_: TD): ...
f({ "x": 1 })
```
Part of https://github.com/astral-sh/ty/issues/168.
|
||
|---|---|---|
| .. | ||
| assert_never.md | ||
| assert_type.md | ||
| cast.md | ||