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)

Commencez par la reproduction liée dans mypy-play, en vous concentrant sur la manière dont les appels à takes_at_least3 sont vérifiés par rapport à x0 à x3. Examinez les deux interprétations proposées dans l’issue de tuple[str, ...] et déterminez quel comportement de mappage des arguments doit être spécifié. La tâche est terminée lorsque le comportement choisi est implémenté de manière cohérente et couvert par un cas de régression pour l’exemple.