Better error message for incompatible type assignment when using Generics

• Are you reporting a bug, or opening a feature request?

Feature Request

• Please insert below the code you are checking with mypy.

from typing import Generic, TypeVar


T = TypeVar("T", int, float)


class Foo(Generic[T]):
    def __init__(self, val: T):
        self.data: T = val 


def bar(x: T) -> Foo[T]:
    return Foo(x)


x = bar(1)
x = bar(2.0) # error thrown by mypy

• What is the actual behavior/output?
  mypy throws this error:

error: Argument 1 to "bar" has incompatible type "float"; expected "int"

• What is the behavior/output you expect?

This error message is thrown because of the combination of assigning a different type to x and using Generic. The error message is unclear because it indicates a type error on the argument passed to bar and can be interpreted as bar not accepting arguments of type float.

Having a different error message that mentions "Incompatible types in assignment" would be clearer.
A message to make it clearer that expression has type Foo[float], variable has type Foo[int]

• What are the versions of mypy and Python you are using?

mypy 0.770 and Python 3.7.6

• What are the mypy flags you are using? (For example --strict-optional)

None

Bắt đầu bằng cách tái hiện ví dụ Generic với mypy 0.770 và Python 3.7.6, tập trung vào phép gán từ Foo[int] sang Foo[float]. Theo dõi chẩn đoán được tạo ra cho lệnh gọi bar và phép gán cho x; được xem là hoàn tất khi thông báo xác định rõ các kiểu không tương thích của biến và biểu thức, thay vì ngụ ý rằng bar từ chối các đối số float.