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

提供された Python スニペットを再現例として使用し、Type[T] と Union の境界を含むジェネリック属性オーバーライドの型チェックパスを調査してください。mypy が互換性のない代入エラーなしで B の y: Type[T] を受け入れ、この例のリグレッションチェックが追加されていれば完了です。