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

提供された可変長タプルの再現例から始め、現在の診断を提案された tuple[int, ...] アノテーションと比較します。互換性のない代入を報告している型チェックの経路を追跡し、その後、可変長タプルのアノテーションをユーザーに案内する文言を追加して、この例で検証します。