Mypy allows assigning a union to a variable with type Type[...]

[ilevkivskyi]

Mypy allows this:

x: Type[object] = Union[int, str]

although it is explicitly prohibited by PEP 484. (The reason is that one can't instantiate a union.)

[AlexWaygood]

Mypy now emits an error for this snippet:

from typing import *
x: Type[object] = Union[int, str]  # error: Incompatible types in assignment (expression has type "object", variable has type "Type[object]")

Can this now be closed?

[erictraut]

Yes, this appears to generate the proper error now.