mypy rejects unpacking into same variable

Bug Report

I believe the following code should be fine, however mypy rejects the case where we're unpacking into the variable which was expanded:

foo: tuple[int, ...] = ()

# Ok
bar, *quox = foo

# Incompatible types in assignment (expression has type "List[int]", variable has type "Tuple[int, ...]")  [assignment]
bar, *foo = foo

There are a number of similar issues reported, the closest being https://github.com/python/mypy/issues/9706, however I believe this is distinct as it reproduces when the generic type is int (though my original code was using str). This suggests a different root cause.

Your Environment

• Mypy version used: 1.0.1
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10

Start by running the reported Python 3.10 snippet with mypy 1.0.1 and tracing how unpacking assignment is checked when the expanded variable is also the source. Add a regression test for this case, ensuring the same-variable unpacking is accepted while incompatible assignments remain diagnosed.