Philipp Stephan

Emit error when unpacking a not-iterable argument in a call

3

### Summary ```py from typing import Generic, TypeAlias, TypeVar def foo(a: str, b: int, c: int, d: str): ... VType: TypeAlias = int | tuple[int, int] V = TypeVar("V", bound=VType)...

Incomplete function argument inlay hint for unpacked iterable

1

### Summary ```py def foo(a: str, b: int, c: int, d: str): ... t: tuple[int, int] = (23, 42) foo("foo", *t, d="bar") ``` shows ```py foo(a="foo", b=*t, d="bar") ``` when...

Unable to infer zip type

1

### Question ```py class Foo: ... d = dict(a=Foo()) p = list(d.items()) pp = zip(p, p, strict=True) ``` https://play.ty.dev/7c1cf9a0-a632-41bc-a7ac-552c87e34308 I would expect the type checker to be able to infer...