Incorrect type of starred argument in function definition

[spkersten]

The type of the starred argument is incorrectly inferred to be a List instead of a Tuple. For example:

def f(*y: int) -> None:
    p = 1, 2
    p = y

mypy incorrectly reports:

line 3: Incompatible types in assignment (expression has type List[int], variable has type "Tuple[int, int]")

See documentation.

[spkersten]

This is a duplicate of #261.

[JukkaL]

Closing as duplicate.