constrained TypeVar and star operator incompatible type

Bug Report
We can't use TypeVar with star operator, maybe I wrongly used TypeVar.
Thanks

To Reproduce

T = TypeVar("T", str, int)


def test(a: Sequence[T]) -> list[T]:
    return [*a]

Expected Behavior
No error

Actual Behavior

cactus.py: note: In function "test":
cactus.py:57:14: error: List item 0 has incompatible type "Sequence[T]"; expected "str"  [list-item]
        return [*a]
                 ^
cactus.py:57:14: error: List item 0 has incompatible type "Sequence[T]"; expected "int"  [list-item]
        return [*a]
                 ^
cactus.py:57:14: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-list-item for more info

Your Environment

• Mypy version used: 1.11.1
• Python version used: 3.12.1

Inizia con il riproduttore Python nell’issue usando mypy 1.11.1 e Python 3.12.1, confermando gli errori relativi a elementi di lista incompatibili per il TypeVar vincolato e l’espressione con asterisco. Traccia il percorso del controllo dei tipi per questa espressione e fai passare l’esempio senza errori, quindi esegui nuovamente il riproduttore per verificare il comportamento previsto.