Incorrect mapping of actual to formal arguments.

def takes_at_least3(a1: str, a2: str, a3: str, *args: str) -> None: ...

def test(
    x0: tuple[str, ...],
    x1: tuple[str, *tuple[str, ...]],
    x2: tuple[str, str, *tuple[str, ...]],
    x3: tuple[str, str, str, *tuple[str, ...]],
) -> None:
    takes_at_least3(*x0)  # no error
    takes_at_least3(*x1)  # Missing positional arguments "x2", "x3"
    takes_at_least3(*x2)  # no error
    takes_at_least3(*x3)  # no error

https://mypy-play.net/?mypy=latest&python=3.12&gist=34662974552c517610691a6b5a792ba2

There are only 2 logically sensible results here:

1. All of x0-x3 should be accepted
2. Only x3 should be accepted, since it is the only type that is guaranteed to provide at least 3 items

The choice depends on whether we consider tuple[str, ...] as equal to

1. The union type tuple[()] | tuple[str] | tuple[str, str] | ...
2. The gradual AnyOf[tuple[()], tuple[str], tuple[str, str], ... ] (https://github.com/python/typing/issues/566)

Comienza con la reproducción vinculada en mypy-play y céntrate en cómo se comprueban las llamadas a takes_at_least3 frente a x0 hasta x3. Revisa las dos interpretaciones propuestas en el issue de tuple[str, ...] y determina qué comportamiento de mapeo de argumentos debe especificarse. Se considera terminado cuando el comportamiento elegido está implementado de forma coherente y cubierto por un caso de regresión para el ejemplo.