Type Variable Specialized by Generic

It seems that Type[...] variables dont specialize correctly:

Types = Union[int, str]
T = TypeVar('T', bound=Types)

class A:
    x: Types
    y: Type[Types]

class B(A, Generic[T]):
    x: T        # ok
    y: Type[T]  # error: Incompatible types in assignment

The error that arises is

error: Incompatible types in assignment (expression has type "Type[T]", base class "A" defined the type as "Union[Type[int], Type[str]]")

I believe this is a bug and it should be an allowed specialization (similar to the instance x above), unless there is a counterexample I'm not thinking of?

Tested with mypy v0.660 as well as mypy master + typed-ast master, CPython 3.7.1

Usa el fragmento de Python suministrado como caso de reproducción e inspecciona la ruta de comprobación de tipos para las sobrescrituras de atributos genéricos que involucren Type[T] y límites Union. Se considera completado cuando mypy acepta y: Type[T] en B sin el error de asignación incompatible, con una comprobación de regresión para este ejemplo.