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

Bắt đầu với reproducer tuple có độ dài biến đổi được cung cấp và so sánh chẩn đoán hiện tại với annotation tuple[int, ...] được đề xuất. Theo dõi đường đi của quá trình kiểm tra kiểu báo cáo phép gán không tương thích, sau đó thêm cách diễn đạt hướng người dùng đến annotation tuple có độ dài biến đổi và xác minh nó bằng ví dụ này.