Literal slicing of a variable-length tuple does not work

Bug Report

Slicing a variable-length tuple with a literal int does not reveal as a corresponding fixed-length tuple. This causes both false negative, where no error reported with incorrect unpacking, and false positive of incompatible type with say return values.

To Reproduce

def foo(x: tuple[str, ...]) -> tuple[str, str]:
    a, b = x[:3]

    return x[:2]

Expected Behavior

a, b = x[:3] should give an error of too many values to unpack, return x[:2] should pass with no error.

Actual Behavior

a, b = x[:3] gives no error, return x[:2] says incompatible return value type.

Your Environment

• Mypy version used: 0.961
• Python version used: 3.10
• Operating system and version: macOS 12.4

Beginne damit, das bereitgestellte Beispiel zum Slicing von Tupeln mit mypy 0.961 unter Python 3.10 zu reproduzieren, und untersuche den Type-Checking-Pfad für Literalslices von Tupeln variabler Länge. Als abgeschlossen gilt die Aufgabe, wenn beim Entpacken von x[:3] in zwei Werte ein Fehler gemeldet wird, während x[:2] als tuple[str, str] akzeptiert wird.