Literal `(*tuple_of_strings, "string")` not assignable to `tuple[str, *tuple[str, ...]]`

Bug Report

Mypy doesn't allow assigning a literal constructed by unpacking a tuple of unknown length mixed with more literals to a variable with a matching tuple type, when the value's unpacking order doesn't exactly match the type expression, even if the resulting tuple's type should match.

To Reproduce

a: tuple[str, ...]
b: tuple[str, *tuple[str, ...]]
b = ("first", *a) # ok
b = (*a, "last") # Incompatible types in assignment (expression has type "tuple[str, ...]", variable has type "tuple[str, *tuple[str, ...]]")

https://mypy-play.net/?mypy=latest&python=3.14&gist=7f1d80e082b57c2c0aa7a3aa38f094be

Actual Behavior

main.py:4: error: Incompatible types in assignment (expression has type "tuple[str, ...]", variable has type "tuple[str, *tuple[str, ...]]") [assignment]

Your Environment

• Mypy version used: 2.0.0
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.14

Start by reproducing the assignment in main.py with the Python 3.14 example and the linked mypy-play case. Trace the tuple unpacking and type-checking path, then add a regression test showing that both unpacking orders are accepted when their resulting types match.