Improve error message when variable-length tuple annotation is required

Mypy currently does not give a particularly friendly error message for this snippet of code:

test = (1, 2)
test += (3,)  # error: Incompatible types in assignment (expression has type "Tuple[int, int, int]", variable has type "Tuple[int, int]")

What the user probably needs to do is to add a variable-length tuple annotation, e.g.

test: tuple[int, ...] = (1, 2)
test += (3,)

However, the error message gives no indication of that (on mypy 0.941).

Refs #10384

Inizia con il reproducer fornito per una tupla di lunghezza variabile e confronta la diagnostica attuale con l’annotazione suggerita tuple[int, ...]. Segui il percorso del controllo dei tipi che segnala l’assegnazione incompatibile, quindi aggiungi una formulazione che indirizzi gli utenti verso un’annotazione per una tupla di lunghezza variabile e verificala con questo esempio.