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

まず、mypy 0.770 と Python 3.7.6 で Generic の例を再現し、Foo[int] から Foo[float] への代入に焦点を当てます。bar の呼び出しと x への代入に対して生成される診断を追跡します。メッセージが、bar が float 引数を拒否していることを示唆するのではなく、互換性のない変数型と式の型を明確に特定すれば完了です。