type signature in generic subclass #5664

from typing import Generic, Callable, TypeVar, Iterator

T = TypeVar('T')


class Box(Generic[T]):
    @classmethod
    def wrap(cls, generator: Callable[[], T]) -> 'Box[T]':
        pass


class IteratorBox(Box[Iterator[T]],
                  Generic[T]):
    pass


def g() -> int:
    return 0


r = IteratorBox.wrap(g)

b: IteratorBox = IteratorBox
reveal_type(b.wrap)
reveal_type(IteratorBox.wrap)
reveal_type(IteratorBox.wrap(g))

as type "IteratorBox[Any]")
test.py:24: error: Revealed type is 'def (generator: def () -> typing.Iterator*[Any]) -> test.Box[typing.Iter
ator*[Any]]'
test.py:25: error: Revealed type is 'def [T] (generator: def () -> T`1) -> test.Box[T`1]'
test.py:26: error: Revealed type is 'test.Box[builtins.int*]'