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 lo snippet Python fornito come riproduttore e ispeziona il percorso di controllo dei tipi per gli override di attributi generici che coinvolgono Type[T] e i bound Union. Il lavoro è completato quando mypy accetta y: Type[T] in B senza l’errore di assegnazione incompatibile, con un controllo di regressione per questo esempio.