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.
|
||
|---|---|---|
| .. | ||
| formatter.rs | ||
| lexer.rs | ||
| linter.rs | ||
| parser.rs | ||
| ty.rs | ||
| ty_walltime.rs | ||